- T__0 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__0 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__1 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__1 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__2 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__2 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__3 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__3 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__4 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__4 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__5 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__5 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__6 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__6 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__7 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__7 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__8 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__8 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- T__9 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- T__9 - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- TABLE_HEADER_NAME_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Table Header Name Text Key
- TABLE_HEADER_TYPE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Table Header Type Text Key
- TARGET_NODE_RANGE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- TARGET_NODE_SET_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- TARGET_NODE_SIZE_MUST_NOT_BE_GREATER_THAN_OUTER_INTERFACE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- TARGET_NODES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Target Nodes Label Key
- TECHNIQUE_PANEL_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Technique Panel Label Key
- TechniquePanel - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a panel on which the user can choose and start the different
techniques, algorithms and goals provided by Raven.
- TechniquePanel() - Constructor for class de.uni_due.inf.ti.raven.gui.TechniquePanel
-
Creates the panel on which controls for the usage of Raven will be displayed.
- TEMP_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The temporary file directory
- TEST_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
TEST command description key
- TestCommand - Class in de.uni_due.inf.ti.raven.cli
-
- TEXT_AREA_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- TextAreaPrinter - Class in de.uni_due.inf.ti.raven.io
-
This class offers methods to print data to a specified JTextArea.
- TextfieldInputStream - Class in de.uni_due.inf.ti.raven.io
-
This class provides an InputStream from which the contents of the
specified JTextField can be read.
- TextfieldInputStream(JTextField) - Constructor for class de.uni_due.inf.ti.raven.io.TextfieldInputStream
-
Creates a new input stream which reads from the specified JTextField textfield.
- TextTable - Class in de.uni_due.inf.ti.raven.io
-
This class provides a simple text table which can be used to structure
contents in a table-like manner.
- TextTable() - Constructor for class de.uni_due.inf.ti.raven.io.TextTable
-
Creates a new text-based table with default table delimiters.
- TextTable(char, char, char) - Constructor for class de.uni_due.inf.ti.raven.io.TextTable
-
Creates a new text-based table using the given delimiters.
- TIME_MODE_SET_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Time Statistics Mode Set Text Key
- toBitString(byte[]) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Converts the (satisfying) variable assignment (seen as byte array) to a bit string with
least significant bit left.
- toInteger(byte[]) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Converts the (satisfying) variable assignment (seen as byte array) to a n integer value
- tokenNames - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- tokenNames - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.CospanCounterExample
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.NameDataPair
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.Node
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.Operation
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.RuleCounterExample
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.Signature
-
- toString() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- toString() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
- toString() - Method in class de.uni_due.inf.ti.raven.gui.NewEdgeDialog.EdgeData
-
- toString() - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
- TOTAL_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Total Text Key
- TRANS_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The TRANS Operation Token
- TRANS_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The TRANS Operation Token
- TRANSITION_GRAPH_PRINTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Transition Graph Printed Text Key
- TRANSITION_PATTERN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The TRANSITION Pattern
- TREE_DECOMPOSITION_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- TREE_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Tree Decomposition Text Key
- TreeDecomposition - Class in de.uni_due.inf.ti.raven.data
-
A Tree Decomposition of some graph G is a pair 𝒯 =
(T,X) where T is a tree and X is a family of sets of nodes
(of the graph G) which are indexed by (tree) nodes of T, such
that the following conditions are satisfied:
for each (graph) node v ∈ G, there exists a node t of
T such that v ∈ Xt
for each (graph) edge e ∈ G, there is a node t of
T such that all nodes v attached to e are in
Xt
for each node v ∈ G, the graph induced by the nodes {t
∣ v ∈ Xt} is a subtree of T.
- TreeDecompositionInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a builder which is used to create an InformationPanel
for displaying information about tree decompositions.
- TreeDecompositionInformationPanelBuilder(DefaultFormBuilder) - Constructor for class de.uni_due.inf.ti.raven.gui.TreeDecompositionInformationPanelBuilder
-
Creates the panel on which graph information will be displayed.
- TYPE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Type Text Key
- TYPE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Type Label Key