Package | Description |
---|---|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Method and Description |
---|---|
static Algorithm.OrderingType |
Algorithm.OrderingType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Algorithm.OrderingType[] |
Algorithm.OrderingType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType)
Creates a new instance of the antichain-based language inclusion algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType)
Creates a new instance of the antichain-based universality algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType,
boolean computeCounterExample)
Creates a new instance of the antichain-based universality algorithm.
|