Package net.automatalib.util.automata.equivalence

Class Summary

Class	Description
CharacterizingSets	Operations for calculating characterizing sets.
DeterministicEquivalenceTest<I>
NearLinearEquivalenceTest<I>