- LABEL_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Label Label Key
- LABEL_MUST_NOT_BE_EMPTY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- LABEL_MUST_NOT_BE_EMPTY_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Empty Label Text Key
- LABEL_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- LABEL_PATTERN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The EDGE LABEL Pattern
- LABEL_PREFIX - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Label Key Prefix
- LABEL_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Label Style
- LANGUAGE_EQUIVALENCE_ITERATION_STEP - Static variable in interface de.uni_due.inf.ti.raven.algorithms.LanguageEquivalenceAlgorithm
-
Language Equivalence Iteration Step Counter String Literal
- LANGUAGE_INCLUSION_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
LANGUAGE INCLUSION command description key
- LANGUAGE_INCLUSION_DOES_HOLD - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- LANGUAGE_INCLUSION_DOES_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LANGUAGE_INCLUSION_DOES_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LANGUAGE_INCLUSION_DOES_NOT_HOLD - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- LANGUAGE_INCLUSION_DOES_NOT_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LANGUAGE_INCLUSION_DOES_NOT_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LANGUAGE_INCLUSION_ITERATION_STEP - Static variable in interface de.uni_due.inf.ti.raven.algorithms.LanguageInclusionAlgorithm
-
Iteration Step Counter String Literal
- LanguageEquivalenceAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for solving the language equivalence problem.
- LanguageEquivalenceAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- LanguageInclusionAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the language inclusion check.
- LanguageInclusionAction() - Constructor for class de.uni_due.inf.ti.raven.actions.LanguageInclusionAction
-
- LanguageInclusionAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for solving the language inclusion problem.
- LanguageInclusionAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- LanguageInclusionCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of language inclusion
algorithms.
- LanguageInclusionControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a ControlPanel
for the invocation of the different language
inclusion checking algorithms implemented in Raven.
- LanguageInclusionControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.LanguageInclusionControlPanel
-
- LEFT_HAND_DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Left Hand-side Decomposition Label Key
- LEFT_HAND_SIDE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Left Hand-Side Text Key
- LEGEND_IN_BOTH_INTERFACES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Legend: In Both Interfaces Label Key
- LEGEND_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Legend Label Key
- LEGEND_NOT_IN_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Legend: Not In Interface Label Key
- LEGEND_ONLY_IN_INNER_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Legend: Only In Inner Interface Label Key
- LEGEND_ONLY_IN_OUTER_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Legend: Only In Outer Interface Label Key
- LENGTH_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Length Text Key
- LETTER_A_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The Letter A Token
- LETTER_B_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The Letter B Token
- LETTER_C_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The Letter C Token
- LETTER_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- LHS_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- LibTWAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class is the abstract basis for all decomposition algorithms from LibTW library.
- LibTWAllStartLexBFSAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the All-Start Lex-BFS algorithm.
- LibTWAllStartLexBFSAction(Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.LibTWAllStartLexBFSAction
-
Creates a new Action
to start the All Start Lex BFS algorithm decomposing the graph
graph
.
- LibTWAllStartLexBFSAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the All-Start Lex-BFS decomposition algorithm.
- LibTWAllStartLexBFSAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.LibTWAllStartLexBFSAlgorithm
-
Creates a new instance of the All Start Lex BFS decomposition algorithm.
- LibTWGreedyDegreeAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the Greedy Degree algorithm.
- LibTWGreedyDegreeAction(Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.LibTWGreedyDegreeAction
-
Creates a new Action
to start the Greedy Degree algorithm decomposing the graph
graph
.
- LibTWGreedyDegreeAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the Greedy Degree decomposition algorithm.
- LibTWGreedyDegreeAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.LibTWGreedyDegreeAlgorithm
-
Creates a new instance of the Greedy Degree decomposition algorithm.
- LibTWGreedyFillInAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the Greedy Fill-In algorithm.
- LibTWGreedyFillInAction(Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.LibTWGreedyFillInAction
-
Creates a new Action
to start the Greedy Fill-In algorithm decomposing the graph
graph
.
- LibTWGreedyFillInAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the Greedy Fill-In decomposition algorithm.
- LibTWGreedyFillInAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.LibTWGreedyFillInAlgorithm
-
Creates a new instance of the Greedy Fill-In decomposition algorithm.
- LibTWLexBFSAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the Lex-BFS algorithm.
- LibTWLexBFSAction(Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.LibTWLexBFSAction
-
Creates a new Action
to start the Lex BFS algorithm decomposing the graph graph
.
- LibTWLexBFSAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the Greedy Degree decomposition algorithm.
- LibTWLexBFSAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.LibTWLexBFSAlgorithm
-
Creates a new instance of the Lex BFS decomposition algorithm.
- LibTWNGraphToGraphAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
Class to convert a LibTW graph (NGraph) into a (Raven) graph.
- LibTWNGraphToGraphAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.LibTWNGraphToGraphAlgorithm
-
- LINE_COMMENT - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- LINE_COMMENT - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- LinkAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting all graphs that have an
edge between a node from the inner to a node from the outer interface.
- LinkAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new link automaton.
- LinkAutomatonAction(int, int, int, Signature) - Constructor for class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
-
Creates a new Action
to create a new link automaton with maximum interface
size maximumInterface
over the signature signature
, which accepts all
graphs that have at least one edge from a node from the inner to a node from the outer interface
using the default link encoding.
- LinkAutomatonAction(int, int, int, Signature, String) - Constructor for class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
-
Creates a new Action
to create a new link automaton with maximum interface
size maximumInterface
over the signature signature
, which accepts all
graphs that have at least one edge from a node from the inner to a node from the outer interface
using the link encoding named by encodingName
.
- LinkAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new LinkAutomaton
.
- LinkAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.LinkAutomatonCreationPanel
-
- LinkAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about link graph
automata.
- LinkEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of link
automata and provides methods to access the encoding.
- LinkEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize Link encodings.
- LinkEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.LinkEncodingVisualizer
-
- LOAD_AUTOMATON_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Automaton Menu Key
- LOAD_BUTTON - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating the ACCEPT button.
- LOAD_CANCEL_LAYOUT - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating that an LOAD and a CANCEL BUTTON will be shown.
- LOAD_COSPAN_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LOAD_COSPAN_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Cospan Menu Key
- LOAD_DECOMPOSITION_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LOAD_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Decomposition Menu Key
- LOAD_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
LOAD command description key
- LOAD_GRAPH_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- LOAD_GRAPH_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Graph Menu Key
- LOAD_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Menu Key
- LOAD_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Load Button Label (used for Testing)
- LOAD_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Label Key
- LOAD_OPTION - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Return value form class method if LOAD is chosen.
- LOAD_SIGNATURE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Load Signature Menu Key
- LOAD_TYPE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- LoadAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles persistence of data from the repository.
- LoadAction(LoadAction.LoadType, String, String) - Constructor for class de.uni_due.inf.ti.raven.actions.LoadAction
-
- LoadAction.LoadType - Enum in de.uni_due.inf.ti.raven.actions
-
Enumeration of load types indicating the data which is to be loaded.
- LoadAutomatonAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to load an automaton from a file.
- LoadAutomatonAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.LoadAutomatonAction
-
Creates an Action
for loading an automaton.
- LoadAutomatonDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to load an automaton file.
- loadBDD(InputStream) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Loads a BDD from the input stream is
;
- LoadButtonAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a popup menu on which the user can select the type of data to be loaded.
- LoadButtonAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.LoadButtonAction
-
Creates an Action
for the addition of data to the repository.
- LoadCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the loading of data.
- LoadCospanAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to load a cospan from a file.
- LoadCospanAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.LoadCospanAction
-
Creates an Action
for loading a cospan.
- LoadCospanDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to load a cospan file.
- LoadDataDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class is the abstract base class for all Data
load dialogs.
- LoadDecompositionAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to load a decomposition from a file.
- LoadDecompositionAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.LoadDecompositionAction
-
Creates an Action
for loading a decomposition.
- LoadDecompositionDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to load a decomposition file.
- LoadGraphAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to load a graph from a file.
- LoadGraphAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.LoadGraphAction
-
Creates an Action
for loading a graph.
- LoadGraphDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to load a graph file.
- LoadSignatureAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to load a signature from a file.
- LoadSignatureAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.LoadSignatureAction
-
Creates an Action
for loading a signature.
- LoadSignatureDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to load a signature file.
- low() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the low successor of this BDD.