net.automatalib.automata.abstractimpl
Classes
AbstractAutomaton
AbstractDeterministicAutomaton
AbstractMutableAutomaton
AbstractMutableDeterministic
AbstractShrinkableAutomaton
AbstractShrinkableDeterministic
SimpleStateIDs