Uses of Class
finiteAutomata.CNFRule

Uses of CNFRule in finiteAutomata

Methods in finiteAutomata with parameters of type CNFRule

StringVarTerm	StringVarTerm.applyRule(CNFRule r) Returns the result of applying the given CNFRule to the LEFT-MOST variable in this StringVarTerm.
boolean	StringVarTerm.matches(CNFRule r) Tests whether a given rule applies to the left-most variable in this StringVarTerm.

Constructors in finiteAutomata with parameters of type CNFRule

CNFRule(CNFRule current)
Copy constructor.