Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
Modifier and Type | Class and Description |
---|---|
class |
AddToRepositoryAction
Handles addition of a graph to the repository.
|
class |
AntichainInvariantCheckingAction
Handles invocation of the antichain-based invariant check.
|
class |
AntichainLanguageInclusionAction
Handles invocation of the antichain-based language inclusion check.
|
class |
AntichainUniversalityAction
Handles invocation of the antichain-based universality check.
|
class |
BisimulationUpToCongruenceInvariantCheckingAction
Handles invocation of the bisimulation-up-to-congruence invariant check.
|
class |
BisimulationUpToCongruenceLanguageInclusionAction
Handles invocation of the bisimulation-up-to-congruence language inclusion
check.
|
class |
ColorabilityAutomatonAction
Handles creation of a new colorability automaton.
|
class |
CospanDecomposeAction
Handles the decomposition of a cospan.
|
class |
CreateRandomGraphAction
Creates a random graph.
|
class |
DominatingSetAutomatonAction
Handles creation of a new dominating set automaton.
|
class |
EdgeCountingAutomatonAction
Handles creation of a new edge-counting automaton.
|
class |
EmptinessCheckAction
Handles invocation of the antichain-based language inclusion check.
|
class |
InvariantCheckingAction
Handles invocation of the invariant check.
|
class |
LanguageInclusionAction
Handles invocation of the language inclusion check.
|
class |
LibTWAllStartLexBFSAction
Handles invocation of the All-Start Lex-BFS algorithm.
|
class |
LibTWGreedyDegreeAction
Handles invocation of the Greedy Degree algorithm.
|
class |
LibTWGreedyFillInAction
Handles invocation of the Greedy Fill-In algorithm.
|
class |
LibTWLexBFSAction
Handles invocation of the Lex-BFS algorithm.
|
class |
LinkAutomatonAction
Handles creation of a new link automaton.
|
class |
MaximumEdgeAutomatonAction
Handles creation of a new maximum-edge automaton.
|
class |
MaximumVertexAutomatonAction
Handles creation of a new maximum-vertex automaton.
|
class |
MembershipAction
Handles invocation of the membership check.
|
class |
MinimumEdgeAutomatonAction
Handles creation of a new minimum-edge automaton.
|
class |
MinimumVertexAutomatonAction
Handles creation of a new minimum-vertex automaton.
|
class |
NoIsolatedNodesAutomatonAction
Handles creation of a new no-isolated-nodes automaton.
|
class |
PathAutomatonAction
Handles creation of a new path automaton.
|
class |
ProductAutomatonAction
Handles creation of a new product automaton.
|
class |
ReachabilityAction
Handles the computation of the reachables states of an automaton.
|
class |
RemoveAction
Handles removal of data from the the repository.
|
class |
ShiftAutomatonAction
Handles creation of a new product automaton.
|
class |
SimulationAntichainInvariantCheckingAction
Handles invocation of the simulation-based antichain invariant check.
|
class |
SimulationAntichainLanguageInclusionAction
Handles invocation of the simulation-based antichain language inclusion check.
|
class |
SimulationAntichainUniversalityAction
Handles invocation of the simulation-based antichain universality check.
|
class |
SimulationCheckingAction
Handles computation of the simulation relation for automata.
|
class |
SimulationComputationAction
Handles computation of the simulation relation for automata.
|
class |
SubgraphAutomatonAction
Handles creation of a new subgraph automaton.
|
class |
UnionAutomatonAction
Handles creation of a new union automaton.
|
class |
UniversalityAction
Handles invocation of the universality check.
|
class |
VertexCountingAutomatonAction
Handles creation of a new vertex-counting automaton.
|
class |
VertexCoverAutomatonAction
Handles creation of a new vertex cover automaton.
|