specless.automaton.dfa

Classes

DFA	This class describes a deterministic finite automaton (DFA).
SafetyDFA	This class describes a Safety DFA.
SafetyDFABuilder	Implements the generic automaton builder class for SafetyDFA objects