• Automaton
• AutomatonMatcher
• AutomatonProvider
• BasicAutomata
• BasicOperations
• Datatypes
• DatatypesAutomatonProvider
• MinimizationOperations
• RegExp
• RunAutomaton
• ShuffleOperations
• SpecialOperations
• State
• StatePair
• StringUnionOperations
• Transition