net.automatalib.brics
Classes
AbstractBricsAutomaton
BricsDFA
BricsNFA
BricsTransitionProperty