- CANCEL_BUTTON - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating the ACCEPT button.
- CANCEL_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Cancel Button Label (used for Testing)
- CANCEL_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cancel Label Key
- CANCEL_LAYOUT - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating that an CANCEL BUTTON will be shown.
- CANCEL_NON_RUNNING_ACTION_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- CANCEL_OPTION - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Return value form class method if CANCEL is chosen.
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.AddToRepositoryAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.AntichainInvariantCheckingAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.AntichainLanguageInclusionAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.AntichainUniversalityAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.BisimulationUpToCongruenceInvariantCheckingAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.BisimulationUpToCongruenceLanguageInclusionAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.ComputationAction
-
Cancels the computation started by execution of this ComputationAction
.
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.CospanDecomposeAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.EmptinessCheckAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.LibTWAllStartLexBFSAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyDegreeAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyFillInAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.LibTWLexBFSAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.MembershipAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.ProductAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.ReachabilityAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.RemoveAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.SimulationAntichainInvariantCheckingAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.SimulationAntichainLanguageInclusionAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.SimulationAntichainUniversalityAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.SimulationCheckingAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.UnionAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction
-
- cancelComputation() - Method in interface de.uni_due.inf.ti.raven.algorithms.Algorithm
-
Cancels the computation of this algorithm.
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardEmptinessCheck
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageEquivalence
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultCospanDecompositionAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultMembershipAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardEmptinessCheck
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.IdentityRelationAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWNGraphToGraphAlgorithm
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainInvariantChecking
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
- cancelComputation() - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
- CHECK_INVARIANT_ANTICHAIN - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Checking Invariant using the Antichain Algorithm Text Key
- CHECK_INVARIANT_BISIMULATION_UP_TO - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Checking Invariant using the Bisimulation up-to Algorithm Text Key
- CHECK_INVARIANT_SIMULATION_ANTICHAIN - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Checking Invariant using the Simulation-based Antichain Algorithm Text Key
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.ColorabilityAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.DominatingSetAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.EdgeCountingAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.LinkAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.MaximumEdgeAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.MaximumVertexAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.MinimumEdgeAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.MinimumVertexAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.NoIsolatedNodesAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.PathAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.ProductAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.UnionAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCountingAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCoverAutomaton
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
- clone() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
- CLOSE_BUTTON - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating the ACCEPT button.
- CLOSE_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Close Button Label (used for Testing)
- CLOSE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Close Label Key
- CLOSE_LAYOUT - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating that an CLOSE BUTTON will be shown.
- CLOSE_OPTION - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Return value form class method if CLOSE is chosen.
- COLOR_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Color Bit Label Key
- COLOR_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The list of available colors
- ColorabilityAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs which are
k-colorable.
- ColorabilityAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new colorability automaton.
- ColorabilityAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
-
Creates a new Action
to create a new colorability automaton with maximum interface size
maximumInterface
over the signature signature
and with colors
colors
using the default colorability encoding.
- ColorabilityAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
-
Creates a new Action
to create a new colorability automaton with maximum interface size
maximumInterface
over the signature signature
and with colors
colors using
the colorability encoding named by encodingName
.
- ColorabilityAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new ColorabilityAutomaton
.
- ColorabilityAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.ColorabilityAutomatonCreationPanel
-
- ColorabilityAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about colorability
graph automata.
- ColorabilityEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of colorability
automata and provides methods to access the encoding.
- ColorabilityEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize Colorability encodings.
- ColorabilityEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.ColorabilityEncodingVisualizer
-
- Command - Class in de.uni_due.inf.ti.raven.cli
-
Represents the abstract super class of all console commands.
- COMMAND_LINE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Command Line Label Key
- CommandReader - Class in de.uni_due.inf.ti.raven.io
-
Reads commands from a command file or an input stream.
- CommandReader(String) - Constructor for class de.uni_due.inf.ti.raven.io.CommandReader
-
Creates a new command reader and prepares the command file given
by the filename filename
.
- CommandReader(InputStream) - Constructor for class de.uni_due.inf.ti.raven.io.CommandReader
-
Creates a new command reader and prepares the input stream inStream
to read commands from the stream.
- CommandTextInfo - Class in de.uni_due.inf.ti.raven.messages
-
This class represents information about command texts.
- CommandTextInfo(String, int, int, String) - Constructor for class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Creates a new CommandTextInfo instance.
- CommandTextInfo(String, int, int) - Constructor for class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Creates a new CommandTextInfo instance without hint.
- COMMENT - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- COMMENT - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- COMMENT_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The Comment Token
- COMPARATOR - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
- compare(Operation, Operation) - Method in class de.uni_due.inf.ti.raven.data.Operation.Comparator
-
- compareTo(Edge) - Method in class de.uni_due.inf.ti.raven.data.Edge
-
- compareTo(NameDataPair) - Method in class de.uni_due.inf.ti.raven.data.NameDataPair
-
- compareTo(Node) - Method in class de.uni_due.inf.ti.raven.data.Node
-
- COMPUTATION_INTERRUPTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- ComputationAction<R> - Class in de.uni_due.inf.ti.raven.actions
-
The ComputationAction
class is extended by classes which compute some kind of
result R
.
- computationAdvanded(ComputationEvent) - Method in interface de.uni_due.inf.ti.raven.actions.ComputationListener
-
Invoked when a computation makes progress.
- computationAdvanded(ComputationEvent) - Method in class de.uni_due.inf.ti.raven.cli.Console.ProgressThread
-
- computationAdvanded(ComputationEvent) - Method in class de.uni_due.inf.ti.raven.gui.RavenProgressBarPanel
-
- ComputationEvent - Class in de.uni_due.inf.ti.raven.actions
-
An event which indicates that the computation of a(n intermediate) result has been finished.
- ComputationEvent(Object, ComputationEvent.EventType, String, int, int) - Constructor for class de.uni_due.inf.ti.raven.actions.ComputationEvent
-
Creates a new ComputationEvent
- ComputationEvent.EventType - Enum in de.uni_due.inf.ti.raven.actions
-
Enumeration of event types which can occur during the computation.
- ComputationListener - Interface in de.uni_due.inf.ti.raven.actions
-
The listener interface for receiving computation action events.
- COMPUTE_COUNTER_EXAMPLE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
ComputeCounterExample Label Key
- COMPUTING_COSPAN_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Computing Cospan Decomposition Text Key
- COMPUTING_GRAPH_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Computing Graph Decomposition Text Key
- COMPUTING_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Computing Label Key
- COMPUTING_LANGUAGE_INCLUSION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Computing Language Inclusion Text Key
- CONNECT_PARAMETER - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The CONNECT parameter specifying the CONNECT Operation
- CONNECT_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The CONNECT Operation Token
- CONNECT_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The CONNECT Operation Token
- CONNECTION_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Connection Bit Label Key
- Console - Class in de.uni_due.inf.ti.raven.cli
-
This class implements a command-line interface and a command-line interpreter for Raven.
- Console.ProgressThread - Class in de.uni_due.inf.ti.raven.cli
-
- Console.ProgressThread(int) - Constructor for class de.uni_due.inf.ti.raven.cli.Console.ProgressThread
-
Creates a new thread to display the computation progress.
- ConsoleMessages - Class in de.uni_due.inf.ti.raven.cli
-
This class provides the keys for the various CLI messages which can be obtained from
the underlying resource bundles.
- ConsolePrinter - Class in de.uni_due.inf.ti.raven.io
-
This class offers methods to print data to the console.
- contains(Node) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true
if and only if this graph contains the node node
.
- contains(Edge) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true
if and only if this graph contains the edge edge
.
- contains(GraphDecomposition.Bag) - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
Checks whether the bag bag
is contained in this path decomposition.
- contains(Node) - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Returns true
if and only if the node node
is contained in this permutation.
- contains(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if an object with name name
is
contained in this repository.
- contains(Data) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if the object data
is
contained in this repository.
- contains(Signature) - Method in class de.uni_due.inf.ti.raven.data.Signature
-
Returns true
if and only if the signature signature
is
contained in this signature, i.e. every letter of the signature signature
is also an letter of this signature.
- contains(Operation) - Method in class de.uni_due.inf.ti.raven.data.Signature
-
Returns true
if and only if letter letter
is
contained in this signature.
- containsInitialState(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns true
if the state set stateSet
contains at least one
initial state.
- ControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This abstract class implements a panel for the invocation of different algorithms.
- ControlPanel.WorkerThread - Class in de.uni_due.inf.ti.raven.gui
-
Abstract Worker Thread for the execution of algorithms controlled by the control panel.
- ControlPanel.WorkerThread() - Constructor for class de.uni_due.inf.ti.raven.gui.ControlPanel.WorkerThread
-
- ControlPanelFactory - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a factory for the creation of ControlPanel
-objects for the
different algorithms of Raven.
- convert(String, NGraph<GraphInput.InputData>) - Static method in class de.uni_due.inf.ti.raven.algorithms.LibTWNGraphToGraphAlgorithm
-
Converts a LibTW graph (nGraph) into a (Raven) graph.
- convertFinalStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Converts the final state set of the given automaton to the UnionEncoding
.
- convertFinalStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Converts the final state set of the given automaton to the UnionEncoding
.
- convertInitialStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Converts the initial state set of the given automaton to the UnionEncoding
.
- convertInitialStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Converts the initial state set of the given automaton to the UnionEncoding
.
- convertNonFinalStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Converts the non-final state set of the given automaton to the UnionEncoding
.
- convertNonFinalStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Converts the non-final state set of the given automaton to the UnionEncoding
.
- convertStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Converts the state set of the given automaton to the UnionEncoding
.
- convertStates(Automaton) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Converts the state set of the given automaton to the UnionEncoding
.
- convertToHTMLString(String) - Static method in class de.uni_due.inf.ti.raven.gui.Utilities
-
Converts the string text
to an HTML string, i.e. the string is surrounded with
an <html>-tag and all line breaks are replaced by <br>-tags.
- convertTransitions(Automaton, Operation) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Converts the transitions of the given automaton and the given letter to the
UnionEncoding
.
- convertTransitions(Automaton, Operation) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Converts the transitions of the given automaton and the given letter to the
UnionEncoding
.
- copyFrom(DOTParser.StmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.StmtContext
-
- Cospan - Class in de.uni_due.inf.ti.raven.data
-
This class implements a cospan (of graphs), i.e. a pair of two
(graph) morphisms with the same co-domain.
- Cospan(int) - Constructor for class de.uni_due.inf.ti.raven.data.Cospan
-
Creates a new (empty) cospan with the discrete graph with width
nodes
as inner and outer interface.
- Cospan() - Constructor for class de.uni_due.inf.ti.raven.data.Cospan
-
Creates a new (empty) cospan with an empty left interface.
- Cospan(CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.data.Cospan
-
Creates a new cospan by copying the cospan decomposition decomposition
information.
- Cospan(Graph, List<Node>, List<Node>) - Constructor for class de.uni_due.inf.ti.raven.data.Cospan
-
Creates a new cospan consisting of the middle graph graph
and the
two interfaces innerInterface
and outerInterface
.
- Cospan.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented cospans.
- COSPAN_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Added Text Key
- COSPAN_ADDED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- COSPAN_ALREADY_EXISTS_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Already Exists Exception Key
- COSPAN_CREATION_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- COSPAN_DECOMPOSITION_ALREADY_EXISTS_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Decomposition Already Exists Exception Key
- COSPAN_DECOMPOSITION_FAILED_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Decomposition Failed Exception Key
- COSPAN_DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cospan Decomposition Label Key
- COSPAN_DEFINITION_MODE_COMMANDS_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
COSPAN DEFINITION MODE COMMANDS key
- COSPAN_DEFINITION_MODE_STARTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
COSPAN DEFINITION MODE STARTED key
- COSPAN_EDGE_STYLE_RED - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Cospan Mapping Style Which Used Red Colored Arrows
- COSPAN_GXL_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for cospan files
- COSPAN_GXL_FILE_EXTENSION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cospan GXL File Extension Label Key
- COSPAN_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Text Key
- COSPAN_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cospan Label Label Key
- COSPAN_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- COSPAN_NAME_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cospan Name Label Key
- COSPAN_NAME_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- COSPAN_NOT_FOUND_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- COSPAN_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Not Found Text Key
- COSPAN_OR_DECOMPOSITION_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Or Decomposition Not Found Text Key
- COSPAN_PREVIEW - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cospan Preview Label Key
- COSPAN_SAVE_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- COSPAN_SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The automaton save file directory
- COSPAN_SAVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Cospan Saved Text Key
- COSPAN_SAVED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- COSPAN_SAVED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- CospanCounterExample - Class in de.uni_due.inf.ti.raven.data
-
A wrapper class for cospan decompositions that are used to give one
graph as a counter-example for an algorithm
- CospanCounterExample(CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.data.CospanCounterExample
-
Creates a new cospan counter-example
- CospanCreationDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to create a new cospan.
- CospanDecomposeAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles the decomposition of a cospan.
- CospanDecomposeAction(Cospan) - Constructor for class de.uni_due.inf.ti.raven.actions.CospanDecomposeAction
-
Creates a new Action
to decompose the cospan cospan
.
- CospanDecomposition - Class in de.uni_due.inf.ti.raven.data
-
This class implements a sequence of composable cospans.
- CospanDecomposition(int) - Constructor for class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Creates a new (empty) cospan decomposition with the discrete graph with width
nodes
as inner and outer interface.
- CospanDecomposition() - Constructor for class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Creates a new (empty) cospan decomposition with an empty left interface.
- CospanDecomposition(CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Creates a new cospan decomposition by copying the cospan decomposition decomposition
.
- CospanDecomposition(List<Operation>) - Constructor for class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Creates a cospan decomposition from the list operationList
of operations with an empty
left interface.
- CospanDecomposition(int, List<Operation>) - Constructor for class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Creates a cospan decomposition from the list operationList
of operations with a left
interface of width width
.
- CospanDecompositionAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for the computation of cospan decompositions of a given cospan.
- CospanDecompositionAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- CospanDecompositionFileWriter - Class in de.uni_due.inf.ti.raven.io
-
Class for writing operation files containing a list of operations from which a
cospan decomposition can be obtained.
- CospanDecompositionInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a builder which is used to create an InformationPanel
for displaying information about cospan decompositions.
- CospanInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a builder which is used to create an InformationPanel
for displaying information about cospans.
- CospanPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print cospans.
- CospanView - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a VisualGraph
to visualize cospans.
- CospanView() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.CospanView
-
- CospanWriter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to write a cospan to a specific file.
- COUNTER_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Counter Bit Label Key
- COUNTER_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Counter Bits Label Key
- COUNTER_EXAMPLE_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Counter Example Found Text Key
- CounterExample - Interface in de.uni_due.inf.ti.raven.data
-
A class implements the CounterExample
interface to indicate that the instances
of the class provide the counter example types of raven which can be stored in the repository.
- CounterExample.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented counter examples.
- COUNTEREXAMPLE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Counter-example Label Key
- CounterExampleWindow - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a window which is used to display the counterexamples
computed by the different universality and language inclusion algorithms.
- CountingEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of (edge- or
vertex-)counting automata and provides methods to access the encoding.
- CountingEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize Vertex/Edge Counting encodings.
- CountingEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.CountingEncodingVisualizer
-
- COVER_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cover Bit Label Key
- COVER_SIZE_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Cover Size Bits Label Key
- CREATE_AUTOMATON_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Automaton Label Key
- CREATE_COSPAN_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Cospan Label Key
- CREATE_DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Decomposition Label Key
- CREATE_GRAPH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Graph Label Key
- CREATE_RANDOM_GRAPH_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Random Graph Dialog Text Key
- CREATE_RANDOM_GRAPH_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Random Graph Dialog Title Key
- CREATE_RANDOM_GRAPH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Random Graph Label Key
- CREATE_SIGNATURE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Create Signature Label Key
- CreateAutomatonAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to create a new graph automaton.
- CreateAutomatonAction(Window) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.CreateAutomatonAction
-
Creates an Action
for the creation of new automata.
- createColorabilityAutomaton(ColorabilityEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new colorability automaton.
- CreateCospanAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to create a new graph.
- CreateCospanAction(Window) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.CreateCospanAction
-
Creates an Action
for the creation of new graph.
- CreateDecompositionAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to create a new decomposition.
- CreateDecompositionAction(Window) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.CreateDecompositionAction
-
Creates an Action
for the creation of new automata.
- createDomain(int) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Creates a new BDD Domain with length
bits.
- createDomains(int, int) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Creates amount
new BDD Domains with length
bits.
- createDomains(int, BigInteger) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory
-
Creates a list of amount
finite BDD domains which each represents
size
different values.
- createDominatingSetAutomaton(DominatingSetEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new dominating set automaton.
- createEdgeCountingAutomaton(EdgeCountingEncoding, Signature, int, Set<Operation.Connect>) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new edge-counting automaton counting only those edges which
are contained in the set edgeSet
.
- CreateGraphAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to create a new graph.
- CreateGraphAction(Window) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.CreateGraphAction
-
Creates an Action
for the creation of new graph.
- createLinkAutomaton(LinkEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new link automaton.
- createMaximumEdgeAutomaton(BoundEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new maximum-edge automaton.
- createMaximumVertexAutomaton(BoundEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new maximum-vertex automaton.
- createMinimumEdgeAutomaton(BoundEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new minimum-edge automaton.
- createMinimumVertexAutomaton(BoundEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new minimum-vertex automaton.
- createNewFolder(File) - Method in class de.uni_due.inf.ti.raven.gui.RavenDirectoryFileSystemView
-
- createNoIsolatedNodesAutomaton(NoIsolatedNodesEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new isolated nodes automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.ColorabilityAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given colorability automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.DominatingSetAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given dominating set automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.EdgeCountingAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given edge counting automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.LinkAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given link automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.MaximumEdgeAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given maximum edge automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.MaximumVertexAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given maximum vertex automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.MinimumEdgeAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given minimum edge automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.MinimumVertexAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given minimum vertex automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.NoIsolatedNodesAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given no-isolated-nodes automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.PathAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given edge counting automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.ProductAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given product automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.SubgraphAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given subgraph automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.UnionAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given union automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.VertexCountingAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given vertex-counting automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.automaton.VertexCoverAutomatonInformationPanelBuilder
-
Creates an information panel displaying properties of a given vertex cover automaton.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.BDDInformationPanelBuilder
-
Creates an information panel displaying properties of a given Raven BDD.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.CospanDecompositionInformationPanelBuilder
-
Creates an information panel displaying properties of a given cospan decomposition.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.CospanInformationPanelBuilder
-
Creates an information panel displaying properties of a given cospan decomposition.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.GraphInformationPanelBuilder
-
Creates an information panel displaying properties of a given graph.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.PathDecompositionInformationPanelBuilder
-
Creates an information panel displaying properties of a given path decomposition.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.SignatureInformationPanelBuilder
-
Creates an information panel displaying properties of a given signature.
- createPanel() - Static method in class de.uni_due.inf.ti.raven.gui.TreeDecompositionInformationPanelBuilder
-
Creates an information panel displaying properties of a given tree decomposition.
- createPathAutomaton(PathEncoding, Signature, Set<Integer>, Set<Integer>) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new path automaton.
- createProductAutomaton(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new product automaton out of the automata first
and second
.
- CreateRandomGraphAction - Class in de.uni_due.inf.ti.raven.actions
-
Creates a random graph.
- CreateRandomGraphAction(String, int, float) - Constructor for class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
-
- CreateRandomGraphAction(String, int) - Constructor for class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
-
- CreateSignatureAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to create a new signature.
- CreateSignatureAction(Window) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.CreateSignatureAction
-
Creates an Action
for the creation of new signatures.
- createSubgraphAutomaton(SubgraphEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new subgraph automaton.
- createUnionAutomaton(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new union automaton out of the automata first
and second
.
- createVertexCountingAutomaton(VertexCountingEncoding, Signature, int) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new vertex-counting automaton.
- createVertexCoverAutomaton(VertexCoverEncoding, Signature) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new vertex cover automaton.
- CURRENT_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Current Interface Label Key
- CYAN - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Cyan Color Index