- hasEdge(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns true if and only if this cospan contains
an edge with the name nodeName.
- hasEdge(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true if and only if this graph contains
an edge with the name edgeName.
- hasExceptionOccured() - Method in interface de.uni_due.inf.ti.raven.actions.IOAction
-
Returns true if an exception has been occurred during
the execution of this action.
- hasExceptionOccured() - Method in class de.uni_due.inf.ti.raven.actions.LoadAction
-
- hasExceptionOccured() - Method in class de.uni_due.inf.ti.raven.actions.SaveAction
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.CospanCounterExample
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.NameDataPair
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Node
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Operation.Connect
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Operation.Fuse
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Operation.Perm
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Operation.Res
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Operation.Trans
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Operation.Vertex
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.RuleCounterExample
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.Signature
-
- hashCode() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- hasLoops() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true if and only if this graph contains
a loop.
- hasMnemonic() - Method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns whether or not the caption represented by this CommandTextInfo object
has a mnemonic.
- hasNode(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns true if and only if this cospan contains
a node with the name nodeName.
- hasNode(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true if and only if this graph contains
a node with the name nodeName.
- hasRecognizedEdge(RavenBDD, String) - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
Returns true if and only if in the state state the edge
with name edgeName has been recognized.
- HELP_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
HELP command description key
- HELP_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Help Icon Filename
- HELP_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Help Label Key
- HelpAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Opens the Raven documentation file.
- HelpAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.HelpAction
-
Creates an Action for providing the user with help.
- HelpCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the presentation of additional help information.
- high() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the high successor of this BDD.
- HTML_STRING - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- HTML_STRING - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- HTML_STRING() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- HYPERGRAPH_EDGE_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Hypergraph Edge Style
- HYPERGRAPH_INNER_OUTER_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Hypergraph Vertex Style Used To Indicate Nodes Contained In Both The Inner And The Outer Interface
- HYPERGRAPH_INNER_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Hypergraph Vertex Style Used To Indicate Nodes Contained In The Inner Interface
- HYPERGRAPH_OUTER_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Hypergraph Vertex Style Used To Indicate Nodes Contained In The Outer Interface
- HYPERGRAPH_TENTACLE_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Hypergraph Tentacle Style
- HYPERGRAPH_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Hypergraph Vertex Style