- MAGENTA - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Magenta Color Index
- main(String[]) - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Starts Raven.
- MAIN_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Raven Working Directory directory
- MainWindow - Class in de.uni_due.inf.ti.raven.gui
-
This class provides the main window of Raven.
- makePair() - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDPairing
-
Creates a new BDD pairing.
- MAPPING_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Mapping Bit Label Key
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.AddCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.AliasCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.AutomatonCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.Command
-
Returns true if and only if the string line is
a valid parameter for this command.
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.DecomposeCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.DefineCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.EdgeCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.EmptinessCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.EndCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.ExitCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.HelpCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.InfoCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.InnerInterfaceCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.InvariantCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.LanguageInclusionCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.LoadCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.MembershipCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.NodeCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.OuterInterfaceCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.PrintCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.PrintDotCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.ReachabilityCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.RemoveCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.RenameCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.RepositoryCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.RunCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.SaveCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.SetCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.ShowCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.SignatureCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.SimulationCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.TestCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.UniversalityCommand
-
- matchesParameter(String) - Method in class de.uni_due.inf.ti.raven.cli.UpdateCommand
-
- MAXIMIZE_VIEW_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Maximize View Icon Filename
- MAXIMUM_DOMINATING_SET_SIZE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Maximum Dominating Set Size Label Key
- MAXIMUM_DOMINATING_SET_SIZE_MUST_BE_POSITIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MAXIMUM_EDGE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Maximum Edge Label Key
- MAXIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- MAXIMUM_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Maximum Interface Text Key
- MAXIMUM_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Maximum Interface Label Key
- MAXIMUM_INTERFACE_SIZE_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MAXIMUM_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- MAXIMUM_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- MAXIMUM_INTERFACE_SIZES_MUST_NOT_BE_DIFFERENT_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MAXIMUM_LESS_THAN_ZERO_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- MAXIMUM_NUMBER_OF_EDGES_MUST_POSITIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MAXIMUM_NUMBER_OF_VERTICES_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MAXIMUM_VERTEX_COVER_SIZE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Maximum Vertex Cover Size Label Key
- MAXIMUM_VERTEX_COVER_SIZE_MUST_BE_POSITIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MAXIMUM_VERTEX_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Maximum Vertex Label Key
- MaximumEdgeAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs
whose number of edges is at most maximum.
- MaximumEdgeAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new maximum-edge automaton.
- MaximumEdgeAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
-
Creates a new Action to create a new maximum-edge automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a maximum of maximum edges using the default maximum-vertex
encoding.
- MaximumEdgeAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
-
Creates a new Action to create a new maximum-edge automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a maximum of maximum vertices
using the default maximum-edge encoding.
- MaximumEdgeAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel for creating a new MaximumEdgeAutomaton.
- MaximumEdgeAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.MaximumEdgeAutomatonCreationPanel
-
- MaximumEdgeAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel for displaying information about maximum edge
graph automata.
- MaximumVertexAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs
whose number of nodes is at most maximum.
- MaximumVertexAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new maximum-vertex automaton.
- MaximumVertexAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
-
Creates a new Action to create a new maximum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a maximum of maximum vertices using the default maximum-vertex
encoding.
- MaximumVertexAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
-
Creates a new Action to create a new maximum-vertex automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a maximum of maximum vertices
using the default maximum-vertex encoding.
- MaximumVertexAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel for creating a new MaximumVertexAutomaton.
- MaximumVertexAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.MaximumVertexAutomatonCreationPanel
-
- MaximumVertexAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel for displaying information about maximum vertex
graph automata.
- MEMBER_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Member Bit Label Key
- MEMBER_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Member Bits Label Key
- MEMBERSHIP_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
MEMBERSHIP command description key
- MEMBERSHIP_DOES_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- MEMBERSHIP_DOES_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- MEMBERSHIP_DOES_NOT_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- MEMBERSHIP_DOES_NOT_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- MembershipAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the membership check.
- MembershipAction(Automaton, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.MembershipAction
-
Creates a new Action to execute the membership check for the automaton
automaton and the cospan decomposition decomposition, i.e. it will be
checked whether the cospan decomposition (of an input graph) is accepted by the automaton.
- MembershipAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for solving the membership problem.
- MembershipAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- MembershipCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of membership check algorithms.
- MembershipControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a ControlPanel for the invocation of the different membership
checking algorithms implemented in Raven.
- MembershipControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.MembershipControlPanel
-
- messages - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
Console Messages
- Messages - Class in de.uni_due.inf.ti.raven.messages
-
This class is the base class for the resource bundle-based message system.
- MIDDLE_GRAPH_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Middle Graph Text Key
- MINIMUM_EDGE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Minimum Edge Label Key
- MINIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- MINIMUM_LESS_THAN_ZERO_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- MINIMUM_NUMBER_OF_EDGES_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MINIMUM_NUMBER_OF_VERTICES_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- MINIMUM_VERTEX_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Minimum Vertex Label Key
- MinimumEdgeAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs
whose number of edges is at least minimum.
- MinimumEdgeAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new minimum-edge automaton.
- MinimumEdgeAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
-
Creates a new Action to create a new minimum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a minimum of minimum vertices using the default minimum-vertex
encoding.
- MinimumEdgeAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
-
Creates a new Action to create a new minimum-edge automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a minimum of minimum vertices
using the default minimum-edge encoding.
- MinimumEdgeAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel for creating a new MinimumEdgeAutomaton.
- MinimumEdgeAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.MinimumEdgeAutomatonCreationPanel
-
- MinimumEdgeAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel for displaying information about minimum edge
graph automata.
- MinimumVertexAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs
whose number of nodes is at least minimum.
- MinimumVertexAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new minimum-vertex automaton.
- MinimumVertexAutomatonAction(int, int, int, Signature, int) - Constructor for class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
-
Creates a new Action to create a new minimum-vertex automaton with maximum
interface size maximumInterface over the signature signature and accepting
only graphs with a minimum of minimum vertices using the default minimum-vertex
encoding.
- MinimumVertexAutomatonAction(int, int, int, Signature, int, String) - Constructor for class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
-
Creates a new Action to create a new minimum-vertex automaton with maximum interface size
maximumInterface over the signature signature and accepting only graphs with a minimum of minimum vertices
using the default minimum-vertex encoding.
- MinimumVertexAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel for creating a new MinimumVertexAutomaton.
- MinimumVertexAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.MinimumVertexAutomatonCreationPanel
-
- MinimumVertexAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel for displaying information about minimum vertex
graph automata.
- MINUS_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Minus Icon Filename
- MISSING_ILLEGAL_ARGUMENT_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Missing illegal argument description key
- modeNames - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-