Uses of Class
finiteAutomata.StringVarTerm

Uses of StringVarTerm in finiteAutomata

Methods in finiteAutomata that return StringVarTerm

StringVarTerm	StringVarTerm.applyRule(CNFRule r) Returns the result of applying the given CNFRule to the LEFT-MOST variable in this StringVarTerm.
StringVarTerm	StringVarTerm.copy() Returns a deep copy of this StringVarTerm.
StringVarTerm	CNF.testString(java.lang.String s) Tests whether a given String is a terminal string which can be generated by this CNF.

Methods in finiteAutomata with parameters of type StringVarTerm

boolean

StringVarTerm.equalString(StringVarTerm other) Tests whether "this" and another StringVarTerm represent the same string.