- NAME_ALREADY_IN_USE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Name Already In Use Exception
- NAME_ALREADY_IN_USE_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NAME_ALREADY_IN_USE_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NAME_INVALID_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NAME_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Name Text Key
- NAME_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Name Label Key
- NAME_MUST_NOT_BE_EMPTY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NAME_MUST_NOT_BE_EMPTY_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Empty Name Text Key
- NAME_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NAME_PATTERN - Static variable in class de.uni_due.inf.ti.raven.data.Repository
-
The NAME Pattern of valid names
- NameDataPair - Class in de.uni_due.inf.ti.raven.data
-
This class is used to assign a name to some data
object.
- NameDataPair(String, Data) - Constructor for class de.uni_due.inf.ti.raven.data.NameDataPair
-
Creates a new NameDataPair
.
- NAMES_MUST_NOT_BE_EQUAL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NEW_EDGE_DIALOG_NO_SELECTION_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NEW_EDGE_DIALOG_NO_SELECTION_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NEW_EDGE_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NEW_LABEL_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NewEdgeDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to create a new edge for a given graph.
- NewEdgeDialog.EdgeData - Class in de.uni_due.inf.ti.raven.gui
-
This class provides information about an edge which is to be added.
- NewEdgeDialog.EdgeData(String, String, List<Node>) - Constructor for class de.uni_due.inf.ti.raven.gui.NewEdgeDialog.EdgeData
-
Creates a new EdgeData
-object containing the name, the label
and the sequence of incident nodes of a new edge.
- NO_AUTOMATON_FILE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_AUTOMATON_FILE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_AUTOMATON_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_AUTOMATON_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_BUTTON - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating the ACCEPT button.
- NO_COSPAN_FILE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_COSPAN_FILE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_COSPAN_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_COSPAN_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_DECOMPOSITION_FILE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_DECOMPOSITION_FILE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_DECOMPOSITION_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_DECOMPOSITION_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_DOCUMENTATION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
No Documentation Text Key
- NO_EDGE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Edge Selected Exception Text Key
- NO_EDGE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Edge Selected Exception Title Key
- NO_GRAPH_FILE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_GRAPH_FILE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_GRAPH_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_GRAPH_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_GXL_CHOSEN_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_HELP_AVAILABLE_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Help Available Dialog Text Key
- NO_HELP_AVAILABLE_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Help Available Dialog Title Key
- NO_INFORMATION_AVAILABLE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Information Available Label Key
- NO_KEY_SELECTED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_KEY_SELECTED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Load Button Label (used for Testing)
- NO_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Label Key
- NO_LOOP_GRAPH_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_LOOP_GRAPH_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_NEIGHBOR_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NO_NODE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Node Selected Exception Text Key
- NO_NODE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Node Selected Exception Title Key
- NO_OPERATION_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_OPERATION_SELECTED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_OPERATION_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_OPERATION_SELECTED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_OPTION - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Return value form class method if NO is chosen.
- NO_PRINT_ACTION_AVAILABLE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
No print action available description key
- NO_SIGNATURE_AVAILABLE_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_AVAILABLE_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_FILE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_FILE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_SELECTED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_SELECTED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_USED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_SIGNATURE_USED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- NO_UPDATE_AVAILABLE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
No Update Available Text Key
- NO_UPDATE_AVAILABLE_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Update Available Dialog Text Key
- NO_UPDATE_AVAILABLE_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
No Update Available Dialog Title Key
- NO_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The "Empty Vertex" Style
- NODE - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- NODE() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
-
- NODE - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- Node - Class in de.uni_due.inf.ti.raven.data
-
This class represents a single node of some hypergraph.
- Node.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented nodes.
- NODE_ALREADY_ADDED_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NODE_ALREADY_EXISTING_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Node Already Existing Text Key
- NODE_ALREADY_IN_OUTER_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Node Already In Outer Interface Text Key
- NODE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
NODE command description key
- node_id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
-
- node_id(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- node_id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- node_id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- node_id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
-
- NODE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Node Text Key
- NODE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Node Label Key
- NODE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NODE_NOT_EXISTING_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NODE_NOT_EXISTING_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Node Not Existing Text Key
- NODE_NUMBER_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Node Number Label Key
- NODE_ORDER_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Node Order Label Key
- NODE_ORDER_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NODE_SET_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- node_stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- node_stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.NodeStatementContext
-
- NodeCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the addition of nodes in cospan/graph mode.
- nodeCount() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the number of nodes used to encode this BDD.
- NODES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Nodes Label Key
- NoIsolatedNodesAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs which do not
contain any isolated node.
- NoIsolatedNodesAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new no-isolated-nodes automaton.
- NoIsolatedNodesAutomatonAction(int, int, int, Signature) - Constructor for class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
-
Creates a new Action
to create a new no-isolated-nodes automaton with maximum
interface size maximumInterface
over the signature signature
using the
default no-isolated-nodes encoding.
- NoIsolatedNodesAutomatonAction(int, int, int, Signature, String) - Constructor for class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
-
Creates a new Action
to create a new no-isolated-nodes automaton with maximum
interface size maximumInterface
over the signature signature
using
the no-isolated-nodes encoding named by encodingName
.
- NoIsolatedNodesAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new NoIsolatedNodesAutomaton
.
- NoIsolatedNodesAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.NoIsolatedNodesAutomatonCreationPanel
-
- NoIsolatedNodesAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about
no-isolated-nodes graph automata.
- NoIsolatedNodesEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of no isolated
nodes automata and provides methods to access the encoding.
- NoIsolatedNodesEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize NoIsolatedNodes encodings.
- NoIsolatedNodesEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.NoIsolatedNodesEncodingVisualizer
-
- NON_FINAL_STATES_FILE - Static variable in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- NONE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
None Label Key
- not() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns a BDD which is the logical NOT of this BDD.
- NULL_POINTER_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- NUMBER - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- NUMBER() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- NUMBER - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- NUMBER_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NUMBER_OF_BDD_NODES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of BDD Nodes Label Key
- NUMBER_OF_COLORS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of Colors Label Key
- NUMBER_OF_COLORS_MUST_BE_POSITIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NUMBER_OF_EDGES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of Edges Label Key
- NUMBER_OF_FINAL_STATES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of Final States Label Key
- NUMBER_OF_INITIAL_STATES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of Initial States Label Key
- NUMBER_OF_NEIGHBORS_MUST_BE_2_OR_LESS_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- NUMBER_OF_NODES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of Nodes Label Key
- NUMBER_OF_STATES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Number of States Label Key
- NUMBER_PATTERN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The NUMBER Pattern