- Data - Interface in de.uni_due.inf.ti.raven.data
-
A class implements the Data
interface to indicate that the instances
of the class provide basic data types of raven which can be stored in the repository.
- Data.Type - Interface in de.uni_due.inf.ti.raven.data
-
The Type
interface is implemented by each class implementing the
Data
interface to indicate the possible manifestations (of the data class).
- DATA_CAN_NOT_BE_SAVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Data Can Not Be Saved Text Key
- DATA_INFORMATION_PANEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DATA_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DATA_NOT_FOUND_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Data Not Found Exception Key
- DATA_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Data Not Found Text Key
- DATA_NOT_FOUND_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DATA_NOT_FOUND_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DATA_REMOVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Data Removed Text Key
- DATA_REMOVED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DATA_RENAMED_SUCCESSFULLY_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Data Renamed Successfully Text Key
- DATA_RENAMING_FAILED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Data Renaming Failed Exception Key
- DATA_TYPE_PREFIX_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Data Type Key Prefix
- dataAdded(String, Data) - Method in interface de.uni_due.inf.ti.raven.data.RepositoryListener
-
Invoked when data is added to the repository.
- dataAdded(String, Data) - Method in class de.uni_due.inf.ti.raven.gui.DataComboBox
-
- dataAdded(String, Data) - Method in class de.uni_due.inf.ti.raven.gui.MainWindow
-
- DataComboBox - Class in de.uni_due.inf.ti.raven.gui
-
This class represents a drop-down menu which can be used to select a Data
object
from a list of various items.
- DataComboBox(Repository) - Constructor for class de.uni_due.inf.ti.raven.gui.DataComboBox
-
Creates a new combo box presenting the (names of) data objects stored in
the repository repo
of the class dataClass
.
- dataRemoved(String, Data) - Method in interface de.uni_due.inf.ti.raven.data.RepositoryListener
-
Invoked when data is removed from the repository.
- dataRemoved(String, Data) - Method in class de.uni_due.inf.ti.raven.gui.DataComboBox
-
- dataRemoved(String, Data) - Method in class de.uni_due.inf.ti.raven.gui.MainWindow
-
- dataRenamed(String, String) - Method in interface de.uni_due.inf.ti.raven.data.RepositoryListener
-
Invoked when an data object is renamed.
- dataRenamed(String, String) - Method in class de.uni_due.inf.ti.raven.gui.DataComboBox
-
- dataRenamed(String, String) - Method in class de.uni_due.inf.ti.raven.gui.MainWindow
-
- de.uni_due.inf.ti.raven.antlr - package de.uni_due.inf.ti.raven.antlr
-
Classes used and auto-generated by ANTLR, a parser generator used in Raven for parsing DOT files.
- de.uni_due.inf.ti.raven.cli - package de.uni_due.inf.ti.raven.cli
-
Console UI Classes.
- de.uni_due.inf.ti.raven.gui.actions - package de.uni_due.inf.ti.raven.gui.actions
-
Classes used to invoke the different actions of the graphical user interface, e.g. load actions,
save action, ...
- de.uni_due.inf.ti.raven.gui.graphs - package de.uni_due.inf.ti.raven.gui.graphs
-
GUI Classes to visualize graphs.
- de.uni_due.inf.ti.raven.io - package de.uni_due.inf.ti.raven.io
-
Classes to load, save and print data.
- de.uni_due.inf.ti.raven.main - package de.uni_due.inf.ti.raven.main
-
Main Classes.
- de.uni_due.inf.ti.raven.messages - package de.uni_due.inf.ti.raven.messages
-
Classes used to provide a uniform interface to load and deliver the messages of the user
interfaces.
- DEACTIVATED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Deactivated Text Key
- decompose(Cospan) - Method in interface de.uni_due.inf.ti.raven.algorithms.CospanDecompositionAlgorithm
-
Returns a cospan decomposition of the cospan cospan
.
- decompose(Cospan) - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultCospanDecompositionAlgorithm
-
- decompose(Graph) - Method in interface de.uni_due.inf.ti.raven.algorithms.GraphDecompositionAlgorithm
-
Returns a graph decomposition of the graph graph
.
- decompose(Graph) - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWAlgorithm
-
- DecomposeCommand - Class in de.uni_due.inf.ti.raven.cli
-
Handles decomposition of graphs.
- Decomposition<T> - Interface in de.uni_due.inf.ti.raven.data
-
The Decomposition
interface is the root interface in the decomposition hierarchy.
- Decomposition.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented decompositions.
- DECOMPOSITION_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Decomposition Added Text Key
- DECOMPOSITION_ADDED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_CREATION_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_DEFINITION_MODE_COMMANDS_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
DECOMPOSITION DEFINITION MODE COMMANDS key
- DECOMPOSITION_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for decomposition files
- DECOMPOSITION_FILE_EXTENSION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_INCOMPATIBLE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DECOMPOSITION_INCOMPATIBLE_TO_ALPHABET_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Decomposition Text Key
- DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Decomposition Label Key
- DECOMPOSITION_LENGTH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Decomposition Length Label Key
- DECOMPOSITION_LOAD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DECOMPOSITION_NAME_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Decomposition Name Label Key
- DECOMPOSITION_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Decomposition Not Found Text Key
- DECOMPOSITION_PREVIEW - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_PRINTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Decomposition Printed Text Key
- DECOMPOSITION_SAVE_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The automaton save file directory
- DECOMPOSITION_SAVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Decomposition Saved Text Key
- DECOMPOSITION_SAVED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSITION_SAVED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DecompositionControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a ControlPanel
for the invocation of the different graph
decomposition algorithms implemented in Raven.
- DecompositionControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.DecompositionControlPanel
-
- DecompositionCreationDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to create a new decomposition.
- DecompositionCreationDialog.SignatureDialog - Class in de.uni_due.inf.ti.raven.gui
-
- DecompositionPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print decompositions.
- DecompositionView - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize graph decompositions.
- DecompositionView() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.DecompositionView
-
Creates a new DecompositionView
.
- DECOMPOSTION_ADDED_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DECOMPOSTION_ADDED_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DEFAULT_AUTOMATON_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Automaton File Filter
- DEFAULT_COLORABILITY_ENCODING - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The default colorability encoding
- DEFAULT_COSPAN_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Cospan File Filter
- DEFAULT_DECOMPOSITION_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Decomposition File Filter
- DEFAULT_DOMINATING_SET_ENCODING - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The default dominating set encoding
- DEFAULT_EDGE_LABEL - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The default edge label
- DEFAULT_EDGE_LABEL_STRING - Static variable in class de.uni_due.inf.ti.raven.data.Graph
-
Default edge label used if the label is not relevant
- DEFAULT_EDGE_NAME - Static variable in class de.uni_due.inf.ti.raven.data.Graph
-
Default Edge Name Prefix
- DEFAULT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Default Label Key
- DEFAULT_NODE_NAME - Static variable in class de.uni_due.inf.ti.raven.data.Graph
-
Default Node Name Prefix
- DEFAULT_SIGNATURE_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Signature File Filter
- DEFAULT_VERTEX_COVER_ENCODING - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The default vertex cover encoding
- DefaultColorabilityEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for colorability automata.
- DefaultCospanDecompositionAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements an algorithm which is used to decompose a given Cospan
object into
an atomic cospan decomposition, represented by a CospanDecomposition
object.
- DefaultCospanDecompositionAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.DefaultCospanDecompositionAlgorithm
-
- DefaultDominatingSetEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for dominating set automata.
- DefaultEdgeCountingEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for a edge-counting
automaton.
- DefaultEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize BDD encodings.
- DefaultEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.DefaultEncodingVisualizer
-
- DefaultLinkEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the default encoding of state space and the transition functions of
link automata and provides methods to access the encoding.
- DefaultMaximumBoundEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for a maximum edge automaton
or maximum vertex automaton respectively.
- DefaultMembershipAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the algorithm to solve the membership problem in the obvious way.
- DefaultMembershipAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.DefaultMembershipAlgorithm
-
- DefaultMinimumBoundEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for a minimum edge automaton
or minimum vertex automaton respectively.
- DefaultNoIsolatedNodesEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for a no isolated nodes
automaton.
- DefaultPathEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for path automata.
- DefaultSubgraphEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for subgraph automata.
- DefaultVertexCountingEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for a vertex-counting
automaton.
- DefaultVertexCoverEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for vertex cover automata.
- DEFINE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
DEFINE command description key
- DefineCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the definition of graphs or decompositions.
- DELETE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
DELETE command description key
- DELETE_FORBIDDEN_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DELETE_FORBIDDEN_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- DELETE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Delete Label Key
- DeleteCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the removal of data from the repository.
- DENSITY_MUST_NOT_BE_GREATER_THAN_HUNDRED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Density Must Not Be Greater Than 100 Text Key
- DENSITY_MUST_NOT_BE_GREATER_THAN_ONE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Density must not be greater than 1 Exception
- DENSITY_MUST_NOT_BE_LESS_THAN_ZERO_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Density must not be less than 0 Exception
- DENSITY_MUST_NOT_BE_LESS_THAN_ZERO_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Density Must Not Be Less Than 0 Text Key
- DIALOG_ERROR_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Dialog Error Icon Filename
- DIALOG_INFORMATION_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Dialog Information Icon Filename
- DIALOG_QUESTION_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Dialog Question Icon Filename
- DIALOG_WARNING_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Dialog Warning Icon Filename
- DIFFERENT_ALPHABETS_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DIFFERENT_INNER_INTERFACES_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Different Inner Interfaces Text Key
- DIFFERENT_MAXIMUM_INTERFACES_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DIFFERENT_MAXIMUM_INTERFACES_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Different Maximum Interfaces Text Key
- DIFFERENT_SIGNATURES_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Different Signatures Text Key
- DIGRAPH - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- DIGRAPH - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- DIGRAPH() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- DIRECTORY_NOT_CREATED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Directory Not Created Exception Key
- displayBDD(RavenBDD, BDDEncoding) - Method in class de.uni_due.inf.ti.raven.gui.BDDDialog
-
Displays the BDD bdd
using the BDD Encoding coding
to highlight
additional informations.
- DIVISOR_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Divisor Label Key
- DIVISOR_LESS_THAN_ONE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Divisor Less Than One Exception Key
- DIVISOR_MUST_BE_POSITIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DOCUMENTATION_FOLDER - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The command documentation files folder
- DOMINATED_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Dominated Bit Label Key
- DOMINATING_SET_SIZE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Dominating Set Size Label Key
- DominatingSetAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs which have a
dominating set of size at most k, i.e. a set D of nodes with size at most k
such that each node of the graph is either in D or adjacent to a node in D.
- DominatingSetAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new dominating set automaton.
- DominatingSetAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
-
Creates a new Action
to create a new dominating set automaton with maximum interface
size maximumInterface
over the signature signature
and with a maximum
dominating set size dominatingSize
using the default dominating set encoding.
- DominatingSetAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
-
Creates a new Action
to create a new dominating set automaton with maximum interface
size maximumInterface
over the signature signature
and with a maximum
dominating set size dominatingSize
using the dominating set encoding named by
encodingName
.
- DominatingSetAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new DominatingSetAutomaton
.
- DominatingSetAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.DominatingSetAutomatonCreationPanel
-
- DominatingSetAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about dominating set
graph automata.
- DominatingSetEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of dominating
set automata and provides methods to access the encoding.
- DominatingSetEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize DominatedSet encodings.
- DominatingSetEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.DominatingSetEncodingVisualizer
-
- DOT_BDD_LAYOUTER - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The DOT LAYOUTER FOR BDDS
- DOT_ERROR_OCCURRED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Dot-Error Occurred Exception Text Key
- DOT_ERROR_OCCURRED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Dot-Error Occurred Exception Title Key
- DOT_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for DOT files
- DOT_FILE_NOT_FOUND_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- DOT_FINAL_TOKEN - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The DOT Token To Indicate Final States
- DOT_GRAPH_LAYOUTER - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The DOT LAYOUTER FOR GRAPHS
- DOT_INITIAL_FINAL_TOKEN - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The DOT Token To Indicate States Which Are Both Initial And Final
- DOT_INITIAL_TOKEN - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The DOT Token To Indicate Initial States
- DOT_PATH_NOT_FOUND_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Dot-Executable Not Found Exception Text Key
- DOT_PATH_NOT_FOUND_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Dot-Executable Not Found Exception Title Key
- DOT_RUN_LAYOUTER - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The DOT LAYOUTER FOR AUTOMATON RUNS
- DOT_SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The DOT save file directory
- DOTBaseListener - Class in de.uni_due.inf.ti.raven.antlr
-
This class provides an empty implementation of
DOTListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.
- DOTBaseListener() - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTBaseListener
-
- DOTBaseVisitor<T> - Class in de.uni_due.inf.ti.raven.antlr
-
This class provides an empty implementation of
DOTVisitor
,
which can be extended to create a visitor which only needs to handle a subset
of the available methods.
- DOTBaseVisitor() - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTBaseVisitor
-
- DOTLexer - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTLexer(CharStream) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- DOTListener - Interface in de.uni_due.inf.ti.raven.antlr
-
This interface defines a complete listener for a parse tree produced by
DOTParser
.
- DOTParser - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser(TokenStream) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- DOTParser.A_listContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.A_listContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
-
- DOTParser.AssignmentContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.AssignmentContext(DOTParser.StmtContext) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.AssignmentContext
-
- DOTParser.Attr_listContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.Attr_listContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
-
- DOTParser.Attr_stmtContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.Attr_stmtContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
-
- DOTParser.AttributStatementContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.AttributStatementContext(DOTParser.StmtContext) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.AttributStatementContext
-
- DOTParser.Edge_stmtContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.Edge_stmtContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
-
- DOTParser.EdgeopContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.EdgeopContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeopContext
-
- DOTParser.EdgeRHSContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.EdgeRHSContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- DOTParser.EdgeStatementContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.EdgeStatementContext(DOTParser.StmtContext) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeStatementContext
-
- DOTParser.GraphContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.GraphContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- DOTParser.IdContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.IdContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- DOTParser.Node_idContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.Node_idContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
-
- DOTParser.Node_stmtContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.Node_stmtContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
-
- DOTParser.NodeStatementContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.NodeStatementContext(DOTParser.StmtContext) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.NodeStatementContext
-
- DOTParser.PortContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.PortContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
-
- DOTParser.Stmt_listContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.Stmt_listContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
-
- DOTParser.StmtContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.StmtContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.StmtContext
-
- DOTParser.StmtContext() - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.StmtContext
-
- DOTParser.SubgraphContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.SubgraphContext(ParserRuleContext, int) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
-
- DOTParser.SubgraphStatementContext - Class in de.uni_due.inf.ti.raven.antlr
-
- DOTParser.SubgraphStatementContext(DOTParser.StmtContext) - Constructor for class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphStatementContext
-
- DotPrinter - Class in de.uni_due.inf.ti.raven.io
-
This class provides methods to print BDDs, cospan decompositions or graphs to files in
DOT format.
- DotPrinter(String) - Constructor for class de.uni_due.inf.ti.raven.io.DotPrinter
-
Creates a new printer which prints its output in DOT syntax to the file named by filename
.
- DOTVisitor<T> - Interface in de.uni_due.inf.ti.raven.antlr
-
This interface defines a complete generic visitor for a parse tree produced
by
DOTParser
.
- downloadUpdate() - Static method in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
- DUPLICATE_NAME_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-