Package de.uni_due.inf.ti.raven.actions

General Action Classes.

See: Description

Interface Summary

Interface	Description
Action	The Action interface is the basic interface for all actions of Raven.
ComputationListener	The listener interface for receiving computation action events.
IOAction	The IOAction class is extended by classes which perform some kind of I/O.

Class Summary

Class	Description
AddToRepositoryAction	Handles addition of a graph to the repository.
AntichainInvariantCheckingAction	Handles invocation of the antichain-based invariant check.
AntichainLanguageInclusionAction	Handles invocation of the antichain-based language inclusion check.
AntichainUniversalityAction	Handles invocation of the antichain-based universality check.
BisimulationUpToCongruenceInvariantCheckingAction	Handles invocation of the bisimulation-up-to-congruence invariant check.
BisimulationUpToCongruenceLanguageInclusionAction	Handles invocation of the bisimulation-up-to-congruence language inclusion check.
ColorabilityAutomatonAction	Handles creation of a new colorability automaton.
ComputationAction<R>	The ComputationAction class is extended by classes which compute some kind of result R.
ComputationEvent	An event which indicates that the computation of a(n intermediate) result has been finished.
CospanDecomposeAction	Handles the decomposition of a cospan.
CreateRandomGraphAction	Creates a random graph.
DominatingSetAutomatonAction	Handles creation of a new dominating set automaton.
EdgeCountingAutomatonAction	Handles creation of a new edge-counting automaton.
EmptinessCheckAction	Handles invocation of the antichain-based language inclusion check.
ExitAction	Handles termination of Raven.
InvariantCheckingAction	Handles invocation of the invariant check.
LanguageInclusionAction	Handles invocation of the language inclusion check.
LibTWAllStartLexBFSAction	Handles invocation of the All-Start Lex-BFS algorithm.
LibTWGreedyDegreeAction	Handles invocation of the Greedy Degree algorithm.
LibTWGreedyFillInAction	Handles invocation of the Greedy Fill-In algorithm.
LibTWLexBFSAction	Handles invocation of the Lex-BFS algorithm.
LinkAutomatonAction	Handles creation of a new link automaton.
LoadAction	Handles persistence of data from the repository.
MaximumEdgeAutomatonAction	Handles creation of a new maximum-edge automaton.
MaximumVertexAutomatonAction	Handles creation of a new maximum-vertex automaton.
MembershipAction	Handles invocation of the membership check.
MinimumEdgeAutomatonAction	Handles creation of a new minimum-edge automaton.
MinimumVertexAutomatonAction	Handles creation of a new minimum-vertex automaton.
NoIsolatedNodesAutomatonAction	Handles creation of a new no-isolated-nodes automaton.
PathAutomatonAction	Handles creation of a new path automaton.
PrintAction	Handles printout of data from the repository.
PrintDotAction	Handles printout of BDDs and graphs in DOT syntax.
ProductAutomatonAction	Handles creation of a new product automaton.
ReachabilityAction	Handles the computation of the reachables states of an automaton.
RemoveAction	Handles removal of data from the the repository.
RenameAction	Handles renaming of data from the the repository.
SaveAction	Handles persistence of data from the repository.
ShiftAutomatonAction	Handles creation of a new product automaton.
SignatureAction	Handles creation of a new signature.
SimulationAntichainInvariantCheckingAction	Handles invocation of the simulation-based antichain invariant check.
SimulationAntichainLanguageInclusionAction	Handles invocation of the simulation-based antichain language inclusion check.
SimulationAntichainUniversalityAction	Handles invocation of the simulation-based antichain universality check.
SimulationCheckingAction	Handles computation of the simulation relation for automata.
SimulationComputationAction	Handles computation of the simulation relation for automata.
SubgraphAutomatonAction	Handles creation of a new subgraph automaton.
UnionAutomatonAction	Handles creation of a new union automaton.
UniversalityAction	Handles invocation of the universality check.
VertexCountingAutomatonAction	Handles creation of a new vertex-counting automaton.
VertexCoverAutomatonAction	Handles creation of a new vertex cover automaton.

Enum Summary

Enum	Description
ComputationEvent.EventType	Enumeration of event types which can occur during the computation.
LoadAction.LoadType	Enumeration of load types indicating the data which is to be loaded.
SaveAction.AutomatonPersistenceType	Enumeration of persistence types usable for automata.
SaveAction.GraphPersistenceType	Enumeration of persistence types usable for graphs.

Package de.uni_due.inf.ti.raven.actions Description

General Action Classes.