- a_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- a_list(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
-
- a_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AssignmentContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AttributStatementContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeopContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeStatementContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.NodeStatementContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
-
- accept(ParseTreeVisitor<? extends T>) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphStatementContext
-
- accept(File) - Method in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
- ACCEPT_BUTTON - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating the ACCEPT button.
- ACCEPT_CANCEL_LAYOUT - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating that an ACCEPT and a CANCEL BUTTON will be shown.
- ACCEPT_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Accept Button Label (used for Testing)
- ACCEPT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Accept Label Key
- ACCEPT_OPTION - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Return value form class method if ACCEPT is chosen.
- acceptsEmptyLanguage(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardEmptinessCheck
-
- acceptsEmptyLanguage(Automaton) - Method in interface de.uni_due.inf.ti.raven.algorithms.EmptinessCheckAlgorithm
-
Returns true
if and only if the language of the automaton automaton
is the empty language.
- acceptsEmptyLanguage(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardEmptinessCheck
-
- Action - Interface in de.uni_due.inf.ti.raven.actions
-
The Action
interface is the basic interface for all actions of Raven.
- action(RuleContext, int, int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.AddToRepositoryAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.CreateAutomatonAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.CreateCospanAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.CreateDecompositionAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.CreateGraphAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.CreateSignatureAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.HelpAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.LoadAutomatonAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.LoadButtonAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.LoadCospanAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.LoadDecompositionAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.LoadGraphAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.LoadSignatureAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.QuitAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.RemoveFromRepositoryAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.RunScriptAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.SaveAutomatonAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.SaveButtonAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.SaveCospanAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.SaveDecompositionAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.SaveGraphAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.SaveSignatureAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.UpdateAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.VariablesAndPropertiesAction
-
- actionPerformed(ActionEvent) - Method in class de.uni_due.inf.ti.raven.gui.actions.VersionAction
-
- ACTIVATED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- add(Operation) - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Appends an operation at the end of this cospan decomposition.
- add(CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Adds the cospan decomposition decomposition
(seen as a list of operations) to this graph.
- add(Operation) - Method in class de.uni_due.inf.ti.raven.data.Signature
-
Adds a new letter to this signature
- ADD_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
ADD command description key
- ADD_EDGE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Add Edge Label Key
- ADD_NODE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Add Node Label Key
- ADD_OPERATION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Add Operation Label Key
- ADD_TO_REPOSITORY_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Add to Repository Label Key
- addAll(List<Operation>) - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Appends all letters of the list list
at the end of this cospan decomposition.
- AddCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the addition of operations in decomposition mode.
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.AddToRepositoryAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ComputationAction
-
Adds the Computation Listener l
to this action.
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.CospanDecomposeAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.EmptinessCheckAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.InvariantCheckingAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LanguageInclusionAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWAllStartLexBFSAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyDegreeAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyFillInAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWLexBFSAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MembershipAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ProductAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.RemoveAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.UnionAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.UniversalityAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction
-
- addComputationListener(ComputationListener) - Method in interface de.uni_due.inf.ti.raven.algorithms.Algorithm
-
Adds the Computation Listener l
to this algorithm.
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardEmptinessCheck
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageEquivalence
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultCospanDecompositionAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultMembershipAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardEmptinessCheck
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.IdentityRelationAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWNGraphToGraphAlgorithm
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainInvariantChecking
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Adds the Computation Listener l
to this automaton.
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Adds the Computation Listener l
to this algorithm.
- addComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.gui.ControlPanel
-
Adds the computation listener listener
to the underlying control panel.
- addContent(int, Object...) - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
Adds to the row
-th row a new column with content objects
.
- addContent(int, int, Object) - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
Adds to the row
-th row and the column
-th column the content
object
.
- addDataClass(Class<? extends Data>) - Method in class de.uni_due.inf.ti.raven.gui.DataComboBox
-
- addEdge(String, String, List<Node>) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Adds a labeled edge to this cospan.
- addEdge(String, String, List<Node>) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Adds a labeled edge to this graph.
- addEdge(String, List<Node>) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Adds an unlabeled edge to this graph.
- addHeader(Object) - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
Adds a new header with content object
at the end of the header row.
- addHeader(int, Object) - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
Adds a new header at position column
with content object
.
- ADDING_NODE_NOT_POSSIBLE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- addNeighbor(GraphDecomposition.Bag) - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Adds a neighbor to this bag
- addNode(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Adds a new node with node name nodeName
and empty label to the cospan.
- addNode(String, String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Adds a new node with node name nodeName
and label label
to the graph.
- addNode(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Adds a new node with node name nodeName
and empty label to the graph.
- addNode(Node) - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Adds a node to this bag.
- addNode(Node) - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Adds a node at the end of this permutation.
- addNodeSet(Set<Node>) - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Adds a set of nodes to this bag.
- addRepositoryListener(RepositoryListener) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Adds the Repository Listener l
to this repository.
- addSelectionListener(mxEventSource.mxIEventListener) - Method in class de.uni_due.inf.ti.raven.gui.automaton.AutomatonRunView
-
Adds the selection listener listener
to the list of listeners.
- addToInnerInterface(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Adds an existing node of the cospan to the last position of the inner
interface.
- addToInnerInterface(String, int) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Adds an existing node of the cospan to the specified position of the
inner interface.
- addToOuterInterface(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Adds an existing node of the cospan to the last position of the outer
interface.
- addToOuterInterface(String, int) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Adds an existing node of the cospan to the specified position of the
outer interface.
- AddToRepositoryAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles addition of a graph to the repository.
- AddToRepositoryAction(String, Data) - Constructor for class de.uni_due.inf.ti.raven.actions.AddToRepositoryAction
-
Creates a new Action
to add a Data-object data
with the name name
to
the repository.
- AddToRepositoryAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a popup menu to create and add data to the repository.
- AddToRepositoryAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.AddToRepositoryAction
-
Creates an Action
for the addition of data to the repository.
- Algorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The root interface in the algorithm hierarchy.
- Algorithm.OrderingType - Enum in de.uni_due.inf.ti.raven.algorithms
-
Ordering Types for different algorithm, e.g. the simulation-antichain-based algorithms
- Algorithm.SearchType - Enum in de.uni_due.inf.ti.raven.algorithms
-
Search Types for different algorithm, e.g. the antichain-based algorithms
- ALGORITHM_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Algorithm Label Key
- ALIAS_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
ALIAS command description key
- AliasCommand - Class in de.uni_due.inf.ti.raven.cli
-
This class is the (abstract) super class for all alias commands.
- allSat() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Finds all satisfying variable assignments.
- ALPHABETS_MUST_BE_EQUAL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ALPHABETS_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- ALPHABETS_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- ALREADY_IN_REPOSITORY_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- and(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns a BDD which is the logical AND of this BDD and the
BDD bdd
.
- AnotherDominatingSetEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for dominating set automata.
- AnotherLinkEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the new default encoding of state space and the transition functions of
link automata and provides methods to access the encoding.
- AnotherPathEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for path automata.
- AntichainInvariantChecking - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the two antichain algorithms for checking invariants.
- AntichainInvariantChecking(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
Creates a new instance of the antichain-based invariant checking algorithm.
- AntichainInvariantChecking(Algorithm.SearchType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
Creates a new instance of the antichain-based invariant checking algorithm.
- AntichainInvariantCheckingAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the antichain-based invariant check.
- AntichainInvariantCheckingAction(Algorithm.SearchType, boolean, Automaton, CospanDecomposition, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.AntichainInvariantCheckingAction
-
Creates a new Action
to execute the antichain-based invariant
check for the automaton automaton
and the left- resp. right-hand
side leftHandSide
and rightHandSide
.
- AntichainLanguageInclusion - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the two antichain algorithms deciding the language
inclusion problem for (finite) automata.
- AntichainLanguageInclusion(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
Creates a new instance of the antichain-based language inclusion algorithm.
- AntichainLanguageInclusion(Algorithm.SearchType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
Creates a new instance of the antichain-based language inclusion algorithm.
- AntichainLanguageInclusionAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the antichain-based language inclusion check.
- AntichainLanguageInclusionAction(Algorithm.SearchType, boolean, Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.AntichainLanguageInclusionAction
-
Creates a new Action
to execute the antichain-based language inclusion check for the
two automata firstAutomaton
and secondAutomaton
.
- AntichainUniversality - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the two antichain algorithms deciding the universality
problem for (finite) automata.
- AntichainUniversality(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
Creates a new instance of the antichain-based universality algorithm.
- AntichainUniversality(Algorithm.SearchType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
Creates a new instance of the antichain-based universality algorithm.
- AntichainUniversalityAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the antichain-based universality check.
- AntichainUniversalityAction(Algorithm.SearchType, boolean, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.AntichainUniversalityAction
-
Creates a new Action
to execute the antichain-based universality check for the
automaton automaton
.
- APPLY_SIGNATURE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Apply Signature Label Key
- applyAll(RavenBDD, RavenBDDFactory.BDDOperator, RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Applies the operator operator
to this BDD and
the BDD bdd
and afterwards performs an universal
quantification of the BDD nodes specified by the BDD
variables
.
- applyEx(RavenBDD, RavenBDDFactory.BDDOperator, RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Applies the operator operator
to this BDD and
the BDD bdd
and afterwards performs an existential
quantification of the BDD nodes specified by the BDD
variables
.
- ARITY_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Arity Label Key
- ARITY_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The ARITY Token
- ARITY_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The ARITY Token
- attr_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- attr_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
-
- attr_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
-
- attr_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
-
- attr_stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- attr_stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AttributStatementContext
-
- AUTOMATA_MUST_NOT_BE_EQUAL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- AUTOMATA_MUST_NOT_BE_EQUAL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATA_MUST_NOT_BE_EQUAL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- Automaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This abstract class is the base class for all symbolic graph automata.
- Automaton.Type - Enum in de.uni_due.inf.ti.raven.data.automata
-
Enumeration of the different types of implemented automata.
- AUTOMATON_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- AUTOMATON_ADDED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_CREATION_ADVANCED_PROPERTIES_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_CREATION_AUTOMATON_PROPERTIES_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_CREATION_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_CREATION_PROPERTIES_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
AUTOMATON command description key
- AUTOMATON_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for automaton files
- AUTOMATON_FILE_EXTENSION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Automaton File Extension Key
- AUTOMATON_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Automaton Text Key
- AUTOMATON_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Automaton Label Key
- AUTOMATON_LOAD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_MAIN_FILE - Static variable in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- AUTOMATON_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- AUTOMATON_NAME_IS_EMPTY_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- AUTOMATON_NAME_IS_NULL_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- AUTOMATON_NAME_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Automaton Name Label Key
- AUTOMATON_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Automaton Not Found Text Key
- AUTOMATON_PROPERTIES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Automaton Properties Label Key
- AUTOMATON_RUN_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_SAVE_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The automaton save file directory
- AUTOMATON_SAVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- AUTOMATON_SAVED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_SAVED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- AUTOMATON_TYPE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Automaton Type Label Key
- AUTOMATON_TYPE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- AutomatonCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the creation of (graph) automata.
- AutomatonCreationDialog - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides a dialog to create a new graph automaton.
- AutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
The AutomatonCreationPanel
is the abstract base class for the different creation panel.
- AutomatonFactory - Class in de.uni_due.inf.ti.raven.data.automata
-
Factory class for vending Automaton
objects.
- AutomatonFileReader - Class in de.uni_due.inf.ti.raven.io
-
This class provides operations for reading automata from files.
- AutomatonFileReader() - Constructor for class de.uni_due.inf.ti.raven.io.AutomatonFileReader
-
- AutomatonFileWriter - Class in de.uni_due.inf.ti.raven.io
-
This class provides operations for writing automata to files.
- AutomatonFileWriter() - Constructor for class de.uni_due.inf.ti.raven.io.AutomatonFileWriter
-
- AutomatonInformationPanel<T extends Automaton> - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides graphical components to display the properties of graph automata objects.
- AutomatonInformationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.AutomatonInformationPanel
-
- AutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about graph automata.
- AutomatonPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print graph automata.
- AutomatonReader - Interface in de.uni_due.inf.ti.raven.io
-
This interface provides methods to read graph automata from files.
- AutomatonRunView - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides a panel which is intended to display the run of an
Automaton
on a CospanDecomposition
.
- AutomatonRunView() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.AutomatonRunView
-
- AutomatonWriter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to write a graph automaton to a specific file.