| Interface | Description |
|---|---|
| Algorithm |
The root interface in the algorithm hierarchy.
|
| CospanDecompositionAlgorithm |
The algorithm interface for the computation of cospan decompositions of a given cospan.
|
| EmptinessCheckAlgorithm |
The algorithm interface for solving the emptiness problem.
|
| GraphDecompositionAlgorithm |
The algorithm interface for the computation of graph decompositions of a given graph.
|
| InvariantCheckingAlgorithm |
The algorithm interface for checking invariants.
|
| LanguageEquivalenceAlgorithm |
The algorithm interface for solving the language equivalence problem.
|
| LanguageInclusionAlgorithm |
The algorithm interface for solving the language inclusion problem.
|
| MembershipAlgorithm |
The algorithm interface for solving the membership problem.
|
| SimulationAlgorithm |
The algorithm interface for the computation of the simulation relation.
|
| UniversalityAlgorithm |
The algorithm interface for solving the universality problem.
|
| Class | Description |
|---|---|
| AntichainInvariantChecking |
This class implements the two antichain algorithms for checking invariants.
|
| AntichainLanguageInclusion |
This class implements the two antichain algorithms deciding the language
inclusion problem for (finite) automata.
|
| AntichainUniversality |
This class implements the two antichain algorithms deciding the universality
problem for (finite) automata.
|
| BackwardEmptinessCheck |
Checks whether an automaton accepts the empty language.
|
| BackwardSimulationAlgorithm |
This class implements the algorithm to compute the backward simulation relation.
|
| BisimulationUpToCongruenceInvariantChecking |
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
|
| BisimulationUpToCongruenceLanguageEquivalence |
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
|
| BisimulationUpToCongruenceLanguageInclusion |
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
|
| DefaultCospanDecompositionAlgorithm |
This class implements an algorithm which is used to decompose a given
Cospan object into
an atomic cospan decomposition, represented by a CospanDecomposition object. |
| DefaultMembershipAlgorithm |
This class implements the algorithm to solve the membership problem in the obvious way.
|
| ForwardEmptinessCheck |
Checks whether an automaton accepts the empty language.
|
| ForwardSimulationAlgorithm |
This class implements the algorithm to compute simulation relation in the obvious way.
|
| IdentityRelationAlgorithm |
This class implements the algorithm to compute identity relation in the obvious way.
|
| LibTWAlgorithm |
This class is the abstract basis for all decomposition algorithms from LibTW library.
|
| LibTWAllStartLexBFSAlgorithm |
This class implements the All-Start Lex-BFS decomposition algorithm.
|
| LibTWGreedyDegreeAlgorithm |
This class implements the Greedy Degree decomposition algorithm.
|
| LibTWGreedyFillInAlgorithm |
This class implements the Greedy Fill-In decomposition algorithm.
|
| LibTWLexBFSAlgorithm |
This class implements the Greedy Degree decomposition algorithm.
|
| LibTWNGraphToGraphAlgorithm |
Class to convert a LibTW graph (NGraph) into a (Raven) graph.
|
| SimulationAntichainInvariantChecking |
This class implements the two antichain algorithms for checking invariants.
|
| SimulationAntichainLanguageInclusion |
This class implements the two simulation-based antichain algorithms deciding
the language inclusion problem for (finite) automata.
|
| SimulationAntichainUniversality |
This class implements the two simulation-based antichain algorithms deciding
the universality problem for (finite) automata.
|
| Enum | Description |
|---|---|
| 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.Implementations |
An enumeration of implementations of this algorithm.
|
| EmptinessCheckAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| GraphDecompositionAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| InvariantCheckingAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| LanguageEquivalenceAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| LanguageInclusionAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| MembershipAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| SimulationAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|
| UniversalityAlgorithm.Implementations |
An enumeration of implementations of this algorithm.
|