net.automatalib.automata.base.fast
Classes
AbstractFastDetState
AbstractFastMutableDet
AbstractFastMutableNondet
AbstractFastNondetState