Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Class and Description |
---|
Algorithm.SearchType
Search Types for different algorithm, e.g. the antichain-based algorithms
|
Class and Description |
---|
Algorithm
The root interface in the algorithm hierarchy.
|
Algorithm.OrderingType
Ordering Types for different algorithm, e.g. the simulation-antichain-based algorithms
|
Algorithm.SearchType
Search Types for different algorithm, e.g. the antichain-based algorithms
|
CospanDecompositionAlgorithm
The algorithm interface for the computation of cospan decompositions of a given cospan.
|
CospanDecompositionAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
EmptinessCheckAlgorithm
The algorithm interface for solving the emptiness problem.
|
EmptinessCheckAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
GraphDecompositionAlgorithm
The algorithm interface for the computation of graph decompositions of a given graph.
|
GraphDecompositionAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
InvariantCheckingAlgorithm
The algorithm interface for checking invariants.
|
InvariantCheckingAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
LanguageEquivalenceAlgorithm
The algorithm interface for solving the language equivalence problem.
|
LanguageEquivalenceAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
LanguageInclusionAlgorithm
The algorithm interface for solving the language inclusion problem.
|
LanguageInclusionAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
LibTWAlgorithm
This class is the abstract basis for all decomposition algorithms from LibTW library.
|
MembershipAlgorithm
The algorithm interface for solving the membership problem.
|
MembershipAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
SimulationAlgorithm
The algorithm interface for the computation of the simulation relation.
|
SimulationAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
UniversalityAlgorithm
The algorithm interface for solving the universality problem.
|
UniversalityAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|