- one() - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Returns the One-BDD.
- one() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory
-
Returns the One-BDD.
- one() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the One
-BDD for this encoding.
- OPEN_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Open Icon Filename
- Operation - Class in de.uni_due.inf.ti.raven.data
-
This class is the abstract base class for the several operations which can be
used to create graphs and cospans by means of the composition of these
operations.
- Operation.Comparator - Class in de.uni_due.inf.ti.raven.data
-
This class imposes a total order on the set of (atomic cospan) operations.
- Operation.Connect - Class in de.uni_due.inf.ti.raven.data
-
This class implements the CONNECT-Operation which is used to attach a new edge to the
last nodes in the interface of some graph (cospan).
- Operation.Fuse - Class in de.uni_due.inf.ti.raven.data
-
This class implements the FUSE-Operation which is used to fuse the last two nodes in the
interface of some graph (cospan).
- Operation.Perm - Class in de.uni_due.inf.ti.raven.data
-
This class implements the PERM-Operation which is used to cyclic shift the nodes in the
interface of some graph (cospan).
- Operation.Res - Class in de.uni_due.inf.ti.raven.data
-
This class implements the RES-Operation which is used to restrict the last node in the
interface of some graph (cospan).
- Operation.Trans - Class in de.uni_due.inf.ti.raven.data
-
This class implements the TRANS-Operation which is used to transpose the first two nodes in the
interface of some graph (cospan).
- Operation.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented operations.
- Operation.Vertex - Class in de.uni_due.inf.ti.raven.data
-
This class implements the VERTEX-Operation which is used to add a new node at the last
position of the interface of some graph (cospan).
- OPERATION_CAN_NOT_BE_ADDED_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OPERATION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Operation Text Key
- OPERATION_LIST_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OPERATION_NOT_APPLICABLE_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- OPERATION_NOT_APPLICABLE_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- OPERATION_PATTERN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The OPERATION Pattern
- OperationFileReader - Class in de.uni_due.inf.ti.raven.io
-
Class for reading operation files containing a list of operations from which a
cospan decomposition can be obtained.
- OPERATIONS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Operations Label Key
- or(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns a BDD which is the logical OR of this BDD and the
BDD bdd
.
- ORANGE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Orange Color Index
- ORDERING_TYPE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OUT_OF_MEMORY_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- OUTER_INTERFACE_BACKGROUND_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default Background Style For The Outer Interface
- OUTER_INTERFACE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
OUTER INTERFACE command description key
- OUTER_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Outer Interface Text Key
- OUTER_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Outer Interface Label Key
- OUTER_INTERFACE_MUST_BE_CONTAINED_IN_GRAPH_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OUTER_INTERFACE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OUTER_INTERFACE_SIZE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Outer Interface Size Label Key
- OUTER_INTERFACE_SIZE_MUST_NOT_BE_GREATER_THAN_THE_MAXIMUM_INTERFACE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OUTER_INTERFACE_SIZE_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OUTER_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- OUTER_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- OUTER_INTERFACE_SIZES_MUST_NOT_BE_DIFFERENT_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- OuterInterfaceCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the addition of nodes to the outer interface in
cospan definition mode.
- OUTPUT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Output Label Key
- OUTPUT_TYPE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Output Type Label Key
- OVERWRITE_FILE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Overwrite File Text Key