C# (CSharp) QUT.Gplex.Automaton Namespace

Classes

Name Description
Minimizer
NFSA
NFSA.NState This class represents a state in the NFSA each state has an array of transitions on a particular character value, and a list *and* bitarray of epsilon transitions. We want to go "for every epsilon do" and also do bitwise boolean ops.
NFSA.NfsaInstance This class represents the NFSA for all the regular expressions that begin on a given start condition. Each NfsaInstance may have two "start" states, corresponding to the anchored and unanchored pattern starts.
PartitionBlock
TaskState A singleton of this type holds the main program state during processing a LEX file when run from the command line. It sets up the parser, scanner, errorHandler and AAST objects and calls Parse() on the parser. When the parser is invoked by Visual Studio, by contrast, there is no task state and Parse is called from the managed babel wrapper.