Package | Description |
---|---|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Class and Description |
---|---|
class |
AntichainUniversality
This class implements the two antichain algorithms deciding the universality
problem for (finite) automata.
|
class |
SimulationAntichainUniversality
This class implements the two simulation-based antichain algorithms deciding
the universality problem for (finite) automata.
|