de.uni_due.inf.ti.raven.actions
Interfaces
Action
ComputationListener
IOAction
Classes
AddToRepositoryAction
AntichainInvariantCheckingAction
AntichainLanguageInclusionAction
AntichainUniversalityAction
BisimulationUpToCongruenceInvariantCheckingAction
BisimulationUpToCongruenceLanguageInclusionAction
ColorabilityAutomatonAction
ComputationAction
ComputationEvent
CospanDecomposeAction
CreateRandomGraphAction
DominatingSetAutomatonAction
EdgeCountingAutomatonAction
EmptinessCheckAction
ExitAction
InvariantCheckingAction
LanguageInclusionAction
LibTWAllStartLexBFSAction
LibTWGreedyDegreeAction
LibTWGreedyFillInAction
LibTWLexBFSAction
LinkAutomatonAction
LoadAction
MaximumEdgeAutomatonAction
MaximumVertexAutomatonAction
MembershipAction
MinimumEdgeAutomatonAction
MinimumVertexAutomatonAction
NoIsolatedNodesAutomatonAction
PathAutomatonAction
PrintAction
PrintDotAction
ProductAutomatonAction
ReachabilityAction
RemoveAction
RenameAction
SaveAction
ShiftAutomatonAction
SignatureAction
SimulationAntichainInvariantCheckingAction
SimulationAntichainLanguageInclusionAction
SimulationAntichainUniversalityAction
SimulationCheckingAction
SimulationComputationAction
SubgraphAutomatonAction
UnionAutomatonAction
UniversalityAction
VertexCountingAutomatonAction
VertexCoverAutomatonAction
Enums
ComputationEvent.EventType
LoadAction.LoadType
SaveAction.AutomatonPersistenceType
SaveAction.GraphPersistenceType