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 |