- Automaton
- AutomatonMatcher
- AutomatonProvider
- BasicAutomata
- BasicOperations
- Datatypes
- DatatypesAutomatonProvider
- MinimizationOperations
- MinimizationOperations.IntPair
- MinimizationOperations.LabelComparator
- MinimizationOperations.Partition
- MinimizationOperations.StateList
- MinimizationOperations.StateListNode
- RegExp
- RegExp.Kind
- RunAutomaton
- ShuffleOperations
- ShuffleOperations.ShuffleConfiguration
- SpecialOperations
- State
- StatePair
- StringUnionOperations
- StringUnionOperations.State
- Transition
- TransitionComparator