Uses of Class
finiteAutomata.Alphabet

Uses of Alphabet in finiteAutomata
 

Fields in finiteAutomata declared as Alphabet
protected  Alphabet StringVarTerm.alpha
          alphabet of terminal symbols
protected  Alphabet NFA.alpha
          input symbols
protected  Alphabet DFA.alpha
          Alphabet of input symbols
protected  Alphabet CNF.alpha
          terminal symbols
 

Methods in finiteAutomata that return Alphabet
 Alphabet NFA.alpha()
          Returns a copy of the Alphabet.
 

Constructors in finiteAutomata with parameters of type Alphabet
StringVarTerm(Alphabet S)
          1-parameter constructor, creates the StringVarTerm representing the start string, "v0"