- ICON_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The resource file directory
- ID - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
-
- id(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AssignmentContext
-
- id(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.AssignmentContext
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- ID - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- ID() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
-
- id(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
-
- id() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
-
- ID_MUST_NOT_BE_EMPTY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
ID Must Not Be Empty Exception Message
- ID_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
ID Must Not Be Null Exception Message
- IdentityRelationAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the algorithm to compute identity relation in the obvious way.
- IdentityRelationAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.IdentityRelationAlgorithm
-
- ILLEGAL_ARITY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_AUTOMATON_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Illegal Automaton Exception Message
- ILLEGAL_BIT_POSITION_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_COLOR_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_COUNTER_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_DOMINATING_SET_SIZE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_EDGE_LABEL_ARITY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_EDGE_LABEL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_EDGE_NUMBER_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_EDGE_ORDER_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_EVENT_TYPE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_GXL_TAG_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_INTERFACE_NODE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_INTERFACE_SIZE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_LETTER_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_NAME_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_NODE_ORDER_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_OPERATION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- ILLEGAL_OPERATION_STRING_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_RANGE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_REMAINDER_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- ILLEGAL_SEARCH_TYPE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Illegal Search Type Exception Message
- ILLEGAL_VERTEX_COVER_SIZE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- imp(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns a BDD which is the logical IMPLICATION of the this BDD and the
BDD bdd
.
- INAPPLICABLE_OPERATION_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INCIDENT_NODES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Incident Nodes Label Key
- INCIDENT_NODES_MUST_BE_CONTAINED_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INCIDENT_NODES_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INDEX_OUT_OF_BOUNDS_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- indexOf(Node) - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Returns the index of the node node
or -1 if the node is not contained
in this permutation.
- INFO_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
INFO command description key
- INFO_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Info Menu Key
- InfoCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the presentation of informations.
- INFORMATION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Information Text Key
- InformationPanel<T extends Data> - Class in de.uni_due.inf.ti.raven.gui
-
This abstract class is the base class for panels which are used for displaying
information about the several Data
objects created by the user.
- InformationPanelBuilder<T extends Data> - Class in de.uni_due.inf.ti.raven.gui
-
This class provides an abstract builder which is used to to create a general
purpose InformationPanel
.
- INITIAL_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Initial Bit Label Key
- INITIAL_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Initial Bits Label Key
- INITIAL_STATES_FILE - Static variable in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.ColorabilityAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.DominatingSetAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.EdgeCountingAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.LinkAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.MaximumEdgeAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.MaximumVertexAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.MinimumEdgeAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.MinimumVertexAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.NoIsolatedNodesAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.ProductAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.UnionAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCountingAutomaton
-
- initializeEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCoverAutomaton
-
- INNER_INTERFACE_BACKGROUND_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Background Style For The Inner Interface
- INNER_INTERFACE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
INNER INTERFACE command description key
- INNER_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Inner Interface Text Key
- INNER_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Inner Interface Label Key
- INNER_INTERFACE_MUST_BE_CONTAINED_IN_GRAPH_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INNER_INTERFACE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INNER_INTERFACE_SIZE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Inner Interface Size Label Key
- INNER_INTERFACE_SIZE_MUST_NOT_BE_GREATER_THAN_THE_MAXIMUM_INTERFACE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INNER_INTERFACE_SIZE_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- INNER_INTERFACE_SIZE_SELECTION_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INNER_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INNER_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INNER_INTERFACE_SIZES_MUST_NOT_BE_DIFFERENT_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- InnerInterfaceCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the addition of nodes to the inner interface in
cospan definition mode.
- INPUT_DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Input Decomposition Label Key
- INPUT_GRAPH_DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Input Graph/Decomposition Label Key
- INPUT_GRAPH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Input Graph Label Key
- INPUT_MISSING_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INPUT_MISSING_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- insertVertex(Object, String, Object, double, double, double, double, String) - Method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
- insertVertex(Object, String, Object, double, double, double, double) - Method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
- INTERFACE_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Interface Bits Label Key
- INTERFACE_NO_BACKGROUND_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Background Style For Interfaces Without Background
- INTERFACE_PATTERN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The INNER INTERFACE SIZE Pattern
- INTERFACE_SIZE_MUST_BE_GREATER_THAN_ONE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Interface Size Must Be Greater Than One Exception
- INTERFACE_SIZE_MUST_BE_GREATER_THAN_TWO_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Interface Size Must Be Greater Than Two Exception
- INTERFACE_SIZE_MUST_BE_GREATER_THAN_ZERO_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Interface Size Must Be Greater Than Zero Exception
- INTERFACE_SIZE_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
THE INNER INTERFACE SIZE Token
- INTERFACE_SIZES_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Interface Sizes Text Key
- INTERFACE_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Style For Interface Nodes
- INTERFACE_WHITE_BACKGROUND_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Background Style For Interfaces With A White Background
- INVALID_INPUT_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Invalid Input Exception Text Key
- INVALID_INPUT_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Invalid Input Exception Title Key
- INVALID_LABEL_ARITY_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_LABEL_ARITY_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_LABEL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_LABEL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_NAME_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_NAME_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_NUMBER_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVALID_NUMBER_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- INVARIANT_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
INVARIANT command description key
- InvariantCheckingAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the invariant check.
- InvariantCheckingAction() - Constructor for class de.uni_due.inf.ti.raven.actions.InvariantCheckingAction
-
- InvariantCheckingAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for checking invariants.
- InvariantCheckingAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- InvariantCheckingControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a ControlPanel
for the invocation of the different invariant
checking algorithms implemented in Raven.
- InvariantCheckingControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.InvariantCheckingControlPanel
-
- InvariantCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of invariant checking algorithms.
- IO_EXCEPTION_OCCURRED_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- IO_EXCEPTION_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
IO-Exception Occurred Exception Text Key
- IO_EXCEPTION_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
IO-Exception Occurred Exception Title Key
- IOAction - Interface in de.uni_due.inf.ti.raven.actions
-
The IOAction
class is extended by classes which perform some kind of I/O.
- IS_AN_INVARIANT_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- IS_INVARIANT_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- IS_INVARIANT_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- IS_NOT_AN_INVARIANT_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- IS_NOT_INVARIANT_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- IS_NOT_INVARIANT_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- isAcceptingStateSet(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns true
if the state set stateSet
is a subset of the
final state set.
- isAdjacentTo(Node, Node) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true
if and only if the node firstNode
is
adjacent to the node secondNode
- isApplicable(Operation, RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns true
if the letter letter
is applicable to the
states states
, i.e. there exists at least one successor state
according to the transition relation for the letter letter
.
- isApplicable(Operation) - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns true
if and only if the operation operation
can be added
to this cospan decomposition.
- isAutomaton(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if the object with
name name
is of type #Automaton;
- isCellEditable(int, int) - Method in class de.uni_due.inf.ti.raven.gui.RepositoryTableModel
-
- isCellSelectable(Object) - Method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
- isCospan(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if the object with
name name
is of type #Cospan;
- isDecomposition(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if the object with
name name
is of type #Decomposition;
- isEmpty() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- isEmpty() - Method in interface de.uni_due.inf.ti.raven.data.Decomposition
-
Returns true
if and only if the decomposition is empty, i.e. it has the length zero.
- isEmpty() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns true
if and only if the graph is empty, i.e. it does neither contain any node
nor any edge.
- isEmpty() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- isEmpty() - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Returns true
if and only if the permutation is empty.
- isEmpty() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- isEquivalent(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageEquivalence
-
- isEquivalent(Automaton, Automaton) - Method in interface de.uni_due.inf.ti.raven.algorithms.LanguageEquivalenceAlgorithm
-
Checks whether the language of the first automaton first
is equivalent to
the language of the second automaton second
.
- isGraph(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if the object with
name name
is of type #Graph;
- isIncluded(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
- isIncluded(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
- isIncluded(Automaton, Automaton) - Method in interface de.uni_due.inf.ti.raven.algorithms.LanguageInclusionAlgorithm
-
Checks whether the language of the first automaton first
is included in
the language of the second automaton second
.
- isIncluded(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
- isInDominatingSet(RavenBDD, int) - Method in class de.uni_due.inf.ti.raven.data.automata.DominatingSetAutomaton
-
Returns true
if and only if the interface at position node
is a node of the
dominating set.
- isInitialStateSet(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns true
if the state set stateSet
is a subset of the
initial state set.
- isInvariant(Automaton, CospanDecomposition, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
- isInvariant(Automaton, CospanDecomposition, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
- isInvariant(Automaton, CospanDecomposition, CospanDecomposition) - Method in interface de.uni_due.inf.ti.raven.algorithms.InvariantCheckingAlgorithm
-
Returns true
if and only if the language of the automaton automaton
is an
invariant according to the graph transformation rule with the left-hand side leftHandSide
and the right-hand side rightHandSide
.
- isInvariant(Automaton, CospanDecomposition, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainInvariantChecking
-
- isInVertexCover(RavenBDD, int) - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCoverAutomaton
-
Returns true
if and only if in the state state
the node
-th
interface is in the vertex cover.
- isLabelValid(String) - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Checks whether the label is correct with respect to the pattern of allowed labels.
- isMemberOf(Automaton, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultMembershipAlgorithm
-
- isMemberOf(Automaton, CospanDecomposition) - Method in interface de.uni_due.inf.ti.raven.algorithms.MembershipAlgorithm
-
Returns true
if and only if the automaton automaton
accepts the cospan
decomposition decomposition
.
- isNameValid(String) - Static method in class de.uni_due.inf.ti.raven.data.Repository
-
Checks whether the name is correct with respect to the pattern of allowed names.
- isNodeInInterface(RavenBDD, String, int) - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
Returns true
if and only if in the state state
the node with name
nodeName
is in the interface at position size
.
- ISOLATION_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Isolation Bit Label Key
- ISOLATION_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Isolation Bits Label Key
- ISOLATION_FLAG_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Isolation Flag Label Key
- isOne() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns true
if and only if the BDD is the ONE-BDD.
- isSignature(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns true
if and only if the object with
name name
is of type #Signature;
- isSimulatedBy(Automaton, RavenBDD, RavenBDD) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- isSimulatedBy(Automaton, Automaton, RavenBDD, RavenBDD) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- isSimulatedBy(Automaton, RavenBDD, RavenBDD) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- isSimulatedBy(Automaton, Automaton, RavenBDD, RavenBDD) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- isSimulatedBy(Automaton, RavenBDD, RavenBDD) - Method in interface de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm
-
Returns true
if and only if the state set firstStateSet
of the automaton
automaton
is simulated by the second state set secondStateSet
of the
automaton automaton
.
- isSimulatedBy(Automaton, Automaton, RavenBDD, RavenBDD) - Method in interface de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm
-
Returns true
if and only if the state set firstStateSet
of the first
automaton firstAutomaton
is simulated by the state set secondStateSet
of the second automaton secondAutomaton
.
- isSystemProperty(String) - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Checks if the property name
is a system property.
- isUniversal(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
- isUniversal(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
- isUniversal(Automaton) - Method in interface de.uni_due.inf.ti.raven.algorithms.UniversalityAlgorithm
-
Returns true
if and only if the automaton automaton
is universal.
- isVertex(mxCell) - Method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Checks whether the given cell is a vertex (of the hypergraph displayed by
this ViusalGraph
).
- isZero() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns true
if and only if the BDD is the ZERO-BDD.
- iterator() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- iterator() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
- iterator() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- iterator() - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
- iterator() - Method in class de.uni_due.inf.ti.raven.data.Signature
-
- iterator() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-