de.uni_due.inf.ti.raven.algorithms
Interfaces
Algorithm
CospanDecompositionAlgorithm
EmptinessCheckAlgorithm
GraphDecompositionAlgorithm
InvariantCheckingAlgorithm
LanguageEquivalenceAlgorithm
LanguageInclusionAlgorithm
MembershipAlgorithm
SimulationAlgorithm
UniversalityAlgorithm
Classes
AntichainInvariantChecking
AntichainLanguageInclusion
AntichainUniversality
BackwardEmptinessCheck
BackwardSimulationAlgorithm
BisimulationUpToCongruenceInvariantChecking
BisimulationUpToCongruenceLanguageEquivalence
BisimulationUpToCongruenceLanguageInclusion
DefaultCospanDecompositionAlgorithm
DefaultMembershipAlgorithm
ForwardEmptinessCheck
ForwardSimulationAlgorithm
IdentityRelationAlgorithm
LibTWAlgorithm
LibTWAllStartLexBFSAlgorithm
LibTWGreedyDegreeAlgorithm
LibTWGreedyFillInAlgorithm
LibTWLexBFSAlgorithm
LibTWNGraphToGraphAlgorithm
SimulationAntichainInvariantChecking
SimulationAntichainLanguageInclusion
SimulationAntichainUniversality
Enums
Algorithm.OrderingType
Algorithm.SearchType
CospanDecompositionAlgorithm.Implementations
EmptinessCheckAlgorithm.Implementations
GraphDecompositionAlgorithm.Implementations
InvariantCheckingAlgorithm.Implementations
LanguageEquivalenceAlgorithm.Implementations
LanguageInclusionAlgorithm.Implementations
MembershipAlgorithm.Implementations
SimulationAlgorithm.Implementations
UniversalityAlgorithm.Implementations