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.