E-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

E

EDGE - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
EDGE() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
EDGE - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
Edge - Class in de.uni_due.inf.ti.raven.data: This class represents a single (hyper-)edge of some graph.
Edge(String, String) - Constructor for class de.uni_due.inf.ti.raven.data.Edge: Creates a new edge with name name, label label
Edge(String, String, List<Node>) - Constructor for class de.uni_due.inf.ti.raven.data.Edge: Creates a new edge with name name, label label and incident nodes incidentNodes.
Edge.Type - Enum in de.uni_due.inf.ti.raven.data: Enumeration of the different types of implemented edges.
EDGE_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Edge Bit Label Key
EDGE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: EDGE command description key
EDGE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: Edge Text Key
EDGE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Edge Label Key
EDGE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
EDGE_NOT_EXISTING_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
EDGE_NUMBER_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Edge Number Label Key
EDGE_ORDER_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Edge Order Label Key
EDGE_ORDER_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
EDGE_SELECTION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Edge Selection Label Key
EDGE_SET_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
edge_stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
edge_stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeStatementContext
EdgeCommand - Class in de.uni_due.inf.ti.raven.cli: Console command to handle the addition of edges in cospan/graph mode.
EdgeCountingAutomaton - 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 of a specific kind is equal to remainder modulo divisor.
EdgeCountingAutomatonAction - Class in de.uni_due.inf.ti.raven.actions: Handles creation of a new edge-counting automaton.
EdgeCountingAutomatonAction(int, int, int, Signature, int, int, Set<Operation.Connect>) - Constructor for class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction: Creates a new Action to create a new edge-counting automaton with maximum interface size maximumInterface over the signature signature, which accepts all graphs whose number of edges (which are specified by edgeSet) is equal to remainder modulo divisor using the default edge counting encoding.
EdgeCountingAutomatonAction(int, int, int, Signature, int, int, Set<Operation.Connect>, String) - Constructor for class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction: Creates a new Action to create a new edge-counting automaton with maximum interface size maximumInterface over the signature signature, which accepts all graphs whose number of edges (which are specified by edgeSet) is equal to remainder modulo divisor using the edge-counting encoding named by encodingName.
EdgeCountingAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton: This class provides an AutomatonCreationPanel for creating a new EdgeCountingAutomaton.
EdgeCountingAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.EdgeCountingAutomatonCreationPanel
EdgeCountingAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton: This class provides an InformationPanel for displaying information about edge counting graph automata.
EdgeCountingEncoding - Class in de.uni_due.inf.ti.raven.encodings: This class represents the encoding of state space and the transition functions of edge-counting automata and provides methods to access the encoding.
edgeop() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
edgeop(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
edgeop() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
edgeRHS() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
edgeRHS() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
EDGES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Edges Label Key
EDIT_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: The Edit Icon Filename
ELAPSED_TIME_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
EMPTINESS_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: EMPTINESS command description key
EMPTINESS_DOES_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTINESS_DOES_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTINESS_DOES_HOLD_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
EMPTINESS_DOES_NOT_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTINESS_DOES_NOT_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTINESS_DOES_NOT_HOLD_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
EmptinessCheckAction - Class in de.uni_due.inf.ti.raven.actions: Handles invocation of the antichain-based language inclusion check.
EmptinessCheckAction(Algorithm.SearchType, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.EmptinessCheckAction: Creates a new Action to execute the emptiness check for the automaton automaton.
EmptinessCheckAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms: The algorithm interface for solving the emptiness problem.
EmptinessCheckAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms: An enumeration of implementations of this algorithm.
EmptinessCommand - Class in de.uni_due.inf.ti.raven.cli: Console command to handle the execution of the universality check algorithms.
EmptinessControlPanel - Class in de.uni_due.inf.ti.raven.gui: This class implements a ControlPanel for the invocation of the different emptiness checking algorithms implemented in Raven.
EmptinessControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.EmptinessControlPanel
EMPTY_FILENAME_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_FILENAME_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_INPUTFIELD_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_INPUTFIELD_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: The Empty Interface Label Key
EMPTY_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Empty Label
EMPTY_LIST_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_LIST_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_NAME_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_NAME_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EMPTY_STRING_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: Empty String Exception Key
ENCODING_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Encoding Bits Label Key
ENCODING_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: Encoding Text Key
ENCODING_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages: Encoding Label Key
ENCODING_LENGTH_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
ENCODING_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
ENCODING_NAME_MUST_NOT_BE_EMPTY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
ENCODING_NAME_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
EncodingDialog - Class in de.uni_due.inf.ti.raven.gui: This class provides a dialog to display the encoding information used for some automaton.
EncodingPrinter - Interface in de.uni_due.inf.ti.raven.io: This interface offers methods to print encodings.
EncodingView - Class in de.uni_due.inf.ti.raven.gui.graphs: This class provides a VisualGraph to visualize encodings.
EncodingView() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.EncodingView: Creates a new EncodingView.
END_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: END command description key
EndCommand - Class in de.uni_due.inf.ti.raven.cli: Console command to handle the termination of decomposition or graph mode.
enterA_list(DOTParser.A_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.a_list().
enterA_list(DOTParser.A_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.a_list().
enterAssignment(DOTParser.AssignmentContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser#assignment.
enterAssignment(DOTParser.AssignmentContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser#assignment.
enterAttr_list(DOTParser.Attr_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.attr_list().
enterAttr_list(DOTParser.Attr_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.attr_list().
enterAttr_stmt(DOTParser.Attr_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.attr_stmt().
enterAttr_stmt(DOTParser.Attr_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.attr_stmt().
enterAttributStatement(DOTParser.AttributStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser#attributStatement.
enterAttributStatement(DOTParser.AttributStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser#attributStatement.
enterEdge_stmt(DOTParser.Edge_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.edge_stmt().
enterEdge_stmt(DOTParser.Edge_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.edge_stmt().
enterEdgeop(DOTParser.EdgeopContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.edgeop().
enterEdgeop(DOTParser.EdgeopContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.edgeop().
enterEdgeRHS(DOTParser.EdgeRHSContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.edgeRHS().
enterEdgeRHS(DOTParser.EdgeRHSContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.edgeRHS().
enterEdgeStatement(DOTParser.EdgeStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser#edgeStatement.
enterEdgeStatement(DOTParser.EdgeStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser#edgeStatement.
enterEveryRule(ParserRuleContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: The default implementation does nothing.
enterGraph(DOTParser.GraphContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.graph().
enterGraph(DOTParser.GraphContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.graph().
enterId(DOTParser.IdContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.id().
enterId(DOTParser.IdContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.id().
enterNode_id(DOTParser.Node_idContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.node_id().
enterNode_id(DOTParser.Node_idContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.node_id().
enterNode_stmt(DOTParser.Node_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.node_stmt().
enterNode_stmt(DOTParser.Node_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.node_stmt().
enterNodeStatement(DOTParser.NodeStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser#nodeStatement.
enterNodeStatement(DOTParser.NodeStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser#nodeStatement.
enterPort(DOTParser.PortContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.port().
enterPort(DOTParser.PortContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.port().
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AssignmentContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AttributStatementContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeopContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeStatementContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.NodeStatementContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
enterRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphStatementContext
enterStmt_list(DOTParser.Stmt_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.stmt_list().
enterStmt_list(DOTParser.Stmt_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.stmt_list().
enterSubgraph(DOTParser.SubgraphContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser.subgraph().
enterSubgraph(DOTParser.SubgraphContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser.subgraph().
enterSubgraphStatement(DOTParser.SubgraphStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Enter a parse tree produced by DOTParser#subgraphStatement.
enterSubgraphStatement(DOTParser.SubgraphStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Enter a parse tree produced by DOTParser#subgraphStatement.
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Cospan
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.CospanCounterExample
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Edge
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Graph
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.NameDataPair
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Node
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Operation.Connect
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Operation.Fuse
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Operation.Perm
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Operation.Res
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Operation.Trans
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Operation.Vertex
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.RuleCounterExample
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.Signature
equals(Object) - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
error(SAXParseException) - Method in class de.uni_due.inf.ti.raven.io.GXLErrorHandler
EXCEPTION_DURING_UPDATE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
EXCEPTION_OCCURED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
execute() - Method in interface de.uni_due.inf.ti.raven.actions.Action: Causes this action to begin execution.
execute() - Method in class de.uni_due.inf.ti.raven.actions.AddToRepositoryAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.CospanDecomposeAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.EmptinessCheckAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.ExitAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.InvariantCheckingAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LanguageInclusionAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LibTWAllStartLexBFSAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyDegreeAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyFillInAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LibTWLexBFSAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.LoadAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.MembershipAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.PrintAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.PrintDotAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.ProductAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.ReachabilityAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.RemoveAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.RenameAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.SaveAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.SignatureAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.SimulationCheckingAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.UnionAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.UniversalityAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction
execute() - Method in class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.AddCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.AliasCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.AutomatonCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.Command: Executes this command with the given parameter.
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.DecomposeCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.DefineCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.EdgeCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.EmptinessCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.EndCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.ExitCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.HelpCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.InfoCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.InnerInterfaceCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.InvariantCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.LanguageInclusionCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.LoadCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.MembershipCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.NodeCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.OuterInterfaceCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.PrintCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.PrintDotCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.ReachabilityCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.RemoveCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.RenameCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.RepositoryCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.RunCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.SaveCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.SetCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.ShowCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.SignatureCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.SimulationCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.TestCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.UniversalityCommand
execute(String) - Method in class de.uni_due.inf.ti.raven.cli.UpdateCommand
ExecutionPrinter - Interface in de.uni_due.inf.ti.raven.io: This interface offers methods to print a run of an graph automaton.
EXISTING_EDGE_NAME_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
EXISTING_EDGE_NAME_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
exists(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD: Performs an existential quantification of the BDD nodes specified by the given BDD.
existsPathBit(BDDEncoding.StateType, RavenBDD, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultPathEncoding
existsPathBit(BDDEncoding.StateType, RavenBDD, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.PathEncoding: Returns the BDD which describes the existence of an adjacency bit in the type domain of the BDD
exit(int) - Static method in class de.uni_due.inf.ti.raven.main.RavenMain: Exits Raven and returns it's status.
EXIT_CODE_NORMAL_TERMINATION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates normal termination
EXIT_CODE_OUT_OF_MEMORY - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that Raven has been run out of memory
EXIT_CODE_PROPERTIES_FILE_NOT_FOUND - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that the properties file could not be found which led to a severe error
EXIT_CODE_PROPERTIES_IO_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that a severe I/O exception occurred during loading the properties file
EXIT_CODE_SAVE_DIR_CREATION_FAILED - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that the directory where saved files will be stored could not be created
EXIT_CODE_SCRIPT_DIR_CREATION_FAILED - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that the directory where to place scripts could not be created
EXIT_CODE_SECURITY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that a security exception was thrown which led to a severe error
EXIT_CODE_TEMP_DIR_CREATION_FAILED - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates that the temporary file directory could not be created
EXIT_CODE_UNEXPECTED_ERROR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain: Indicates the occurrence of an unexpected error (yes, all other errors were expected. ;)
EXIT_DEFINITION_MODE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: Exit definition mode description key
EXIT_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: EXIT command description key
EXIT_STATUS_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages: Exit Status Message Keys
exitA_list(DOTParser.A_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.a_list().
exitA_list(DOTParser.A_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.a_list().
ExitAction - Class in de.uni_due.inf.ti.raven.actions: Handles termination of Raven.
ExitAction() - Constructor for class de.uni_due.inf.ti.raven.actions.ExitAction
exitAssignment(DOTParser.AssignmentContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser#assignment.
exitAssignment(DOTParser.AssignmentContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser#assignment.
exitAttr_list(DOTParser.Attr_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.attr_list().
exitAttr_list(DOTParser.Attr_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.attr_list().
exitAttr_stmt(DOTParser.Attr_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.attr_stmt().
exitAttr_stmt(DOTParser.Attr_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.attr_stmt().
exitAttributStatement(DOTParser.AttributStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser#attributStatement.
exitAttributStatement(DOTParser.AttributStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser#attributStatement.
ExitCommand - Class in de.uni_due.inf.ti.raven.cli: Console command to handle the termination of Raven.
exitEdge_stmt(DOTParser.Edge_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.edge_stmt().
exitEdge_stmt(DOTParser.Edge_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.edge_stmt().
exitEdgeop(DOTParser.EdgeopContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.edgeop().
exitEdgeop(DOTParser.EdgeopContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.edgeop().
exitEdgeRHS(DOTParser.EdgeRHSContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.edgeRHS().
exitEdgeRHS(DOTParser.EdgeRHSContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.edgeRHS().
exitEdgeStatement(DOTParser.EdgeStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser#edgeStatement.
exitEdgeStatement(DOTParser.EdgeStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser#edgeStatement.
exitEveryRule(ParserRuleContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: The default implementation does nothing.
exitGraph(DOTParser.GraphContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.graph().
exitGraph(DOTParser.GraphContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.graph().
exitId(DOTParser.IdContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.id().
exitId(DOTParser.IdContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.id().
exitNode_id(DOTParser.Node_idContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.node_id().
exitNode_id(DOTParser.Node_idContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.node_id().
exitNode_stmt(DOTParser.Node_stmtContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.node_stmt().
exitNode_stmt(DOTParser.Node_stmtContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.node_stmt().
exitNodeStatement(DOTParser.NodeStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser#nodeStatement.
exitNodeStatement(DOTParser.NodeStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser#nodeStatement.
exitPort(DOTParser.PortContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.port().
exitPort(DOTParser.PortContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.port().
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AssignmentContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AttributStatementContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeopContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeStatementContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.NodeStatementContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
exitRule(ParseTreeListener) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphStatementContext
exitStmt_list(DOTParser.Stmt_listContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.stmt_list().
exitStmt_list(DOTParser.Stmt_listContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.stmt_list().
exitSubgraph(DOTParser.SubgraphContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser.subgraph().
exitSubgraph(DOTParser.SubgraphContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser.subgraph().
exitSubgraphStatement(DOTParser.SubgraphStatementContext) - Method in class de.uni_due.inf.ti.raven.antlr.DOTBaseListener: Exit a parse tree produced by DOTParser#subgraphStatement.
exitSubgraphStatement(DOTParser.SubgraphStatementContext) - Method in interface de.uni_due.inf.ti.raven.antlr.DOTListener: Exit a parse tree produced by DOTParser#subgraphStatement.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _