Package net.automatalib.util.automaton.equivalence
-
Class Summary Class Description Bisimulation CharacterizingSets Operations for calculating characterizing sets.DeterministicEquivalenceTest NearLinearEquivalenceTest
Class | Description |
---|---|
Bisimulation | |
CharacterizingSets |
Operations for calculating characterizing sets.
|
DeterministicEquivalenceTest | |
NearLinearEquivalenceTest |