|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |