- get(int) - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the index
-th operation of the cospan decomposition.
- get(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns the object with the name name
.
- GET_ADDITIONAL_HELP_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Get additional help description key
- GET_HELP_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Get help description key
- getAdjacentNodes(Node) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of nodes incident to the node node
- getAdjacentNodes(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of nodes adjacent to the node nodeName
- getAllAutomata() - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns a set with the names of all automata contained in this repository.
- getAllGraphs() - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns a set with the names of all graphs contained in this repository.
- getAlphabet() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the alphabet of this automaton.
- getArity() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
Returns the arity of this edge
- getArity() - Method in class de.uni_due.inf.ti.raven.data.Operation.Connect
-
Returns the arity of the edge.
- getASCIIArt() - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Returns the Raven logo as ASCII art.
- getATN() - Method in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- getATN() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- getBag(int) - Method in interface de.uni_due.inf.ti.raven.data.GraphDecomposition
-
Returns the bag with the identifier identifier
.
- getBag(int) - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- getBag(int) - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- getBasicTypes() - Static method in enum de.uni_due.inf.ti.raven.data.automata.Automaton.Type
-
Returns the automaton types of "basic" automata.
- getBDDForColor(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Constructs a BDD which is true
if and only if in the state state
the node
-th interface node either has some color color
.
- getBDDForColor(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultColorabilityEncoding
-
- getBDDForInteger(int, int) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Returns a BDD representing a (non-negative) integer value number
as binary encoding
of length bitLength
.
- getBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD which encodes in state state
the pos
-th bit the encoding.
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherDominatingSetEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherLinkEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherPathEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a string indicating which information is encoded by bit of the given position
pos
.
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultColorabilityEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultDominatingSetEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultEdgeCountingEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultLinkEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMaximumBoundEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMinimumBoundEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultNoIsolatedNodesEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultPathEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultSubgraphEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCountingEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCoverEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
- getBitType(int) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
- getBound() - Method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
Returns the bound.
- getBound() - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMaximumBoundEncoding
-
Returns the bound.
- getBoundBitLength() - Method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
Returns the length of the encoding of the bound
- getBoundType() - Static method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
Returns the type string indicating the bound bits.
- getBuildID() - Static method in class de.uni_due.inf.ti.raven.main.Version
-
Returns the build ID.
- getColorBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Returns the bit
-th BDD node of the color encoding of the node
-th node
for the state state
.
- getColorBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultColorabilityEncoding
-
- getColorBitLength() - Method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Returns the number of bits used to encode
the color of a single node.
- getColorCount() - Method in class de.uni_due.inf.ti.raven.data.automata.ColorabilityAutomaton
-
Returns the number of permitted colors.
- getColorCount() - Method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Returns the number of colors.
- getColorNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Returns the type string indicating the color bits for the node
-th node color.
- getCommand() - Static method in class de.uni_due.inf.ti.raven.cli.ShowCommand
-
Returns the SHOW-command.
- getCommandText(String, String...) - Static method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Parses a command text description and returns its text part.
- getCommandText(String) - Static method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Parses a command text description and returns its text part.
- getCommandTextInfo(String, String...) - Static method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns a CommandTextInfo
object which represents the information in the
string txt
.
- getCommandTextInfo(String) - Static method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns a CommandTextInfo
object which represents the information in the
string txt
, without any argument replacements.
- getConnect(String, int) - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Returns the CONNECT operation for the specified edge.
- getConnectedNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherLinkEncoding
-
Get the connected (i.e. 2nd) bit of the node
-th (starting with 0) node markings.
- getConnectedNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultLinkEncoding
-
Get the connected (i.e. 2nd) bit of the node
-th (starting with 0) node markings.
- getConnectedNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.LinkEncoding
-
Returns a BDD which encodes in state state
whether the pos
-th node of the
interface is connected to an initial node or not.
- getConnectedNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.LinkEncoding
-
Returns the type string indicating the connected node bits for the node
-th node.
- getConsole() - Static method in class de.uni_due.inf.ti.raven.cli.Console
-
Returns a command-line console for Raven with the system input stream as input stream and
the default console printer as output stream.
- getConsole(InputStream, RavenPrinter) - Static method in class de.uni_due.inf.ti.raven.cli.Console
-
Returns a command-line console for Raven.
- getConsole(InputStream, RavenPrinter, boolean) - Static method in class de.uni_due.inf.ti.raven.cli.Console
-
Returns a command-line console for Raven.
- getCospan() - Method in class de.uni_due.inf.ti.raven.data.CospanCounterExample
-
Returns the cospan decomposition of the counter-example graph.
- getCospanDecomposition(GraphDecomposition) - Static method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns a cospan decomposition created from the graph decomposition decomposition
- getCospanDecomposition(TreeDecomposition) - Static method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns a cospan decomposition created from the tree decomposition decomposition
- getCospanDecomposition(PathDecomposition) - Static method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns a cospan decomposition created from the path decomposition decomposition
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.actions.InvariantCheckingAction
-
Returns the counter example, if the language of the automaton is not
an invariant for the graph transformation rule, and null
otherwise
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.actions.LanguageInclusionAction
-
Returns the counter example, if the language of the first automaton is
not contained in the language of the second automaton, and null
otherwise
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.actions.UniversalityAction
-
Returns the counterexample found by the algorithm.
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
- getCounterExample() - Method in interface de.uni_due.inf.ti.raven.algorithms.LanguageInclusionAlgorithm
-
Returns the counter example, if the language of the first automaton is
not contained in the language of the second automaton, and null
otherwise
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
- getCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
- getCounterExample() - Method in interface de.uni_due.inf.ti.raven.algorithms.UniversalityAlgorithm
-
Returns the counter example, if the language of the automaton is not
universal and null
otherwise
- getCountingType() - Static method in class de.uni_due.inf.ti.raven.encodings.CountingEncoding
-
Returns the type string indicating the counting bits.
- getCurrentInterfaceSize(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the interface size of the states in the given state set states
.
- getCurrentStateDomain() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the BDD domain for the (current) states
(of the transition relations)
- getData() - Method in class de.uni_due.inf.ti.raven.data.NameDataPair
-
Returns the Data
object
- getDecompositionControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new graph decomposition control panel created by this ControlPanelFactory
.
- getDefaultDirectory() - Method in class de.uni_due.inf.ti.raven.gui.RavenDirectoryFileSystemView
-
- getDefaultEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Returns the default BDD encoding for a colorability instance with a maximum interface size
of maximumInterface
and a number of colors of colors
.
- getDefaultEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the default BDD encoding for a dominating set instance with a
maximum interface size of maximumInterface
and a maximum dominating
set size of dominating size
.
- getDefaultEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.EdgeCountingEncoding
-
Returns the default BDD encoding for a vertex count instance with a
maximum interface size of maximumInterface
and a count of edges modulo
modNumber modNumber
.
- getDefaultEncoding(int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.LinkEncoding
-
Returns the default BDD encoding for a link encoding instance with a
maximum interface size of maximumInterface
, an
inner interface size of innerInterface
and an outer interface size
of outerInterface
.
- getDefaultEncoding(int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns the default BDD encoding for a dominating set instance with a
maximum interface size of maximumInterface
and a maximum dominating
set size of dominating size
.
- getDefaultEncoding(int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.PathEncoding
-
Returns the default BDD encoding for a path instance with a
maximum interface size of maximumInterface
.
- getDefaultEncoding(int, int, int, Graph, List<Node>, List<Edge>) - Static method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the default BDD encoding for a subgraph instance with a
maximum interface size of maximumInterface
and a wanted
subgraph subgraph
.
- getDefaultEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.VertexCountingEncoding
-
Returns the default BDD encoding for a vertex count instance with a
maximum interface size of maximumInterface
and a count of edges modulo
modNumber modNumber
.
- getDefaultEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns the default BDD encoding for a vertex cover instance with a
maximum interface size of maximumInterface
and a maximum vertex
cover size of dominating size
.
- getDefaultMaximumEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
- getDefaultMinimumEncoding(int, int, int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
- getDescription() - Method in class de.uni_due.inf.ti.raven.cli.Command
-
Returns a short description of this command.
- getDescription() - Method in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
- getDisplayedMnemonicIndex() - Method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns the displayed mnemonic index of this CommandTextInfo.
- getDivisor() - Method in class de.uni_due.inf.ti.raven.data.automata.EdgeCountingAutomaton
-
Returns the divisor modulo which edges are counted
- getDivisor() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCountingAutomaton
-
Returns the divisor modulo which vertices are counted
- getDivisor() - Method in class de.uni_due.inf.ti.raven.encodings.CountingEncoding
-
Returns the divisor.
- getDocumentation() - Method in class de.uni_due.inf.ti.raven.cli.Command
-
Returns a documentation of the usage of this command.
- getDomainBDD() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Returns a BDD encoding all variables used by this BDD Domain
- getDominationBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherDominatingSetEncoding
-
- getDominationBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultDominatingSetEncoding
-
- getDominationBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns a BDD which encodes that in state state
the node
-th interface node
is dominated by some node of the dominating set if and only if the BDD is true
.
- getDominationBitLength() - Method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the bit length used for the encoding of the dominating set size.
- getDominationNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the type string indicating the domination bits for the node
-th node.
- getDominationNumber() - Method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the maximum size of the dominating set.
- getDominationSetSizeType() - Static method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the type string indicating the bits for the domination set size.
- getDominationSizeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherDominatingSetEncoding
-
- getDominationSizeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultDominatingSetEncoding
-
- getDominationSizeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns a BDD which encodes in state state
the pos
-th bit of the
current size of the dominating set.
- getEdge(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the edge with the name edgeName
or null
if no
edge with the given name is existing.
- getEdge(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the edge with the name edgeName
or null
if no
edge with the given name is existing.
- getEdgeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultSubgraphEncoding
-
- getEdgeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns a BDD which encodes that in state state
the edge
-th subgraph edge
has been recognized if and only if the BDD is true
.
- getEdgeCount() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the number of edges of this graph
- getEdgeCount() - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the number of edges of the wanted subgraph.
- getEdgeNames() - Method in class de.uni_due.inf.ti.raven.data.automata.EdgeCountingAutomaton
-
Returns a set of strings representing the set of edges which are counted
- getEdgeNames() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of edge names of this graph.
- getEdgeOrder() - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
Returns the edge-order which is used for this automaton.
- getEdgeOrder() - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the edge order of this encoding.
- getEdges() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the set of edges of this cospan.
- getEdges() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of edges of this graph.
- getEdgeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the type string indicating the existence bits for the edge
-th edge.
- getElapsedTime() - Method in class de.uni_due.inf.ti.raven.actions.ComputationAction
-
Returns the time (in seconds) which were needed for the computation.
- getEmptinessControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new emptiness checking control panel created by this ControlPanelFactory
.
- getEncoding() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the BDD encoding used by this automaton.
- getEncoding(int, int, int, int, BoundEncoding.Type, String) - Static method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
Returns the BDD encoding for a bound instance given by the class name
name
with a maximum interface size of maximumInterface
and a
modulo number of modNumber
.
- getEncoding(int, int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.ColorabilityEncoding
-
Returns the BDD encoding for a colorability instance given by the class name
name
with a maximum interface size of maximumInterface
and a
number of colors of colors
.
- getEncoding(int, int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the BDD encoding for a dominating set instance given by the class name
name
with a maximum interface size of maximumInterface
and a
maximum dominating set size of dominating size
.
- getEncoding(int, int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.EdgeCountingEncoding
-
Returns the BDD encoding for a vertex count instance given by the class name
name
with a maximum interface size of maximumInterface
and a
modulo number of modNumber
.
- getEncoding(int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.LinkEncoding
-
Returns the BDD encoding for a link encoding instance given by the class name
name
with a maximum interface size of maximumInterface
, an
inner interface size of innerInterface
and an outer interface size
of outerInterface
.
- getEncoding(int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns the BDD encoding for a dominating set instance given by the class name
name
with a maximum interface size of maximumInterface
and a
maximum dominating set size of dominating size
.
- getEncoding(int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.PathEncoding
-
Returns the BDD encoding for a path instance given by the class name name
with a
maximum interface size of maximumInterface
and a number of colors of colors
.
- getEncoding(Automaton, Automaton) - Static method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Returns the default BDD encoding for a product of two BDD encodings.
- getEncoding(int, int, int, Graph, List<Node>, List<Edge>, String) - Static method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the BDD encoding for a subgraph instance given by the class name
name
with a maximum interface size of maximumInterface
and
a wanted subgraph subgraph
If no subgraph encoding with the given
name can be found the default encoding is returned.
- getEncoding(Automaton, Automaton) - Static method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Returns the default BDD encoding for a union of two automata.
- getEncoding(int, int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.VertexCountingEncoding
-
Returns the BDD encoding for a vertex count instance given by the class name
name
with a maximum interface size of maximumInterface
and a
modulo number of modNumber
.
- getEncoding(int, int, int, int, String) - Static method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns the BDD encoding for a vertex cover instance given by the class name
name
with a maximum interface size of maximumInterface
and a
maximum vertex cover size of vertexCoverSize
.
- getErrorOccured() - Method in class de.uni_due.inf.ti.raven.io.GXLErrorHandler
-
Returns true
if an error occurred.
- getException() - Method in interface de.uni_due.inf.ti.raven.actions.IOAction
-
Returns the exception which has been occurred if existing.
- getException() - Method in class de.uni_due.inf.ti.raven.actions.LoadAction
-
- getException() - Method in class de.uni_due.inf.ti.raven.actions.SaveAction
-
- getFactory() - Static method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new factory for the creation of automata.
- getFactory() - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory
-
Returns the BDD factory.
- getFinalStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the final state set encoded as an BDD.
- getFirstAutomaton() - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Returns the first automaton.
- getFirstAutomaton() - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Returns the first automaton.
- getFuse() - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Returns the FUSE operation.
- getGrammarFileName() - Method in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- getGrammarFileName() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- getGraph() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the graph which can be obtained from this cospan decomposition.
- getGraph() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the graph which can be obtained from this cospan decomposition.
- getGraph() - Method in interface de.uni_due.inf.ti.raven.data.GraphDecomposition
-
Returns the graph which can be obtained from this graph decomposition.
- getGraph() - Method in class de.uni_due.inf.ti.raven.data.Node
-
Returns the graph to which this node belongs.
- getGraph() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- getGraph() - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Returns the graph of this permutation.
- getGraph() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- getHasIsolatedNodes(BDDEncoding.StateType) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultNoIsolatedNodesEncoding
-
- getHasIsolatedNodes(BDDEncoding.StateType) - Method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns a BDD which encodes that in state state
isolated nodes are present
if and only if the BDD is true
.
- getHelpSystem() - Static method in class de.uni_due.inf.ti.raven.gui.MainWindow
-
Returns a HelpBroker
object containing help information for the
usage of Raven.
- getHint() - Method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns the hint string of this CommandTextInfo.
- getHomeDirectory() - Method in class de.uni_due.inf.ti.raven.gui.RavenDirectoryFileSystemView
-
- getIdentifier() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Returns the identifier of this bag.
- getIdentityRelation(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.IdentityRelationAlgorithm
-
Returns the identity relation on the states of the automaton automaton
.
- getIncidentEdges(Node) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of edges incident to the node node
- getIncidentEdges(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of edges incident to the node nodeName
- getIncidentNodes() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
Returns the sequence of nodes incident to this edge
- getIncidentNodes() - Method in class de.uni_due.inf.ti.raven.gui.NewEdgeDialog.EdgeData
-
Returns the incident nodes of the edge.
- getInfo() - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Returns informations about Raven.
- getInitialNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherLinkEncoding
-
Get the initial (i.e. 1st) bit of the node
-th (starting with 0) node markings.
- getInitialNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultLinkEncoding
-
Get the initial (i.e. 1st) bit of the node
-th (starting with 0) node markings.
- getInitialNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.LinkEncoding
-
Returns a BDD which encodes in state state
whether the pos
-th node of the
interface is an initial node or not.
- getInitialNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.LinkEncoding
-
Returns the type string indicating the initial node bits for the node
-th node.
- getInitialStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the initial state set encoded as an BDD.
- getInnerInterface() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the size of the inner interface of this automaton.
- getInnerInterface() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns a list of the nodes in the inner interface of this cospan.
- getInnerInterface() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns a list of the nodes in the inner interface of this decomposition.
- getInnerInterface() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the inner interface size
- getInnerInterfaceNode(int) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the i
-th node of the inner interface of this cospan.
- getInnerInterfaceNodeNames() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Deprecated.
- getInnerInterfaceSize() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the size of the inner interface (of the cospan) of this decomposition.
- getInnerInterfaceSize() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the size of the inner interface (of the cospan) of this decomposition.
- getInteger(RavenBDD) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Returns the integer which is encoded (as bit string) by the BDD bdd
.
- getInterfaceBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD which encodes the pos
-th interface bit for
the state type type
.
- getInterfaceEncodingBDD() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD encoding the bits of the interface
in the encoding for the current state.
- getInterfaceLength() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the bit length of the interface encoding.
- getInterfaceNodeNames() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns a list of the names of the nodes in the interface.
- getInterfacePairing(Automaton, Automaton) - Static method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns a BDD pairing which pairs the the interface bits of the two
automata first
and second
.
- getInterfaceSize(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD which encodes the interface size size
for
the state state
.
- getInterfaceSizeIsGreaterOrEqual(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD encoding that in the state type type
the size of the
interface is greater or equal to size
if and only if the BDD is true
.
- getInterfaceSizeIsLessOrEqual(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD encoding that in the state state
the size of the
interface is less or equal to size
if and only if the BDD is true
.
- getInterfaceSizeType() - Static method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the type string indicating the bits for the interface size.
- getInvariantCheckingControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new invariant checking control panel created by this ControlPanelFactory
.
- getInvariantCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
- getInvariantCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
- getInvariantCounterExample() - Method in interface de.uni_due.inf.ti.raven.algorithms.InvariantCheckingAlgorithm
-
Returns the counter example, if the language of the automaton is not
an invariant for the graph transformation rule, and null
otherwise
- getInvariantCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainInvariantChecking
-
- getIsNodeIsolated(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultNoIsolatedNodesEncoding
-
- getIsNodeIsolated(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns a BDD which encodes that in state state
the node
-th interface node
is isolated if and only if the BDD is true
.
- getIsolatedNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns the type string indicating the isolation state bits for the node
-th node.
- getIsolationStateType() - Static method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns the type string indicating the bit for the isolation state.
- getIthBDD(int) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Returns a BDD representing the i
-th variable of the BDD-Domain.
- getKey() - Method in class de.uni_due.inf.ti.raven.cli.Command
-
Returns the command key of this command.
- getLabel() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
Returns the label of this edge.
- getLabel() - Method in class de.uni_due.inf.ti.raven.data.Operation.Connect
-
Returns the label of the edge.
- getLabel() - Method in class de.uni_due.inf.ti.raven.gui.NewEdgeDialog.EdgeData
-
Returns the label of the edge.
- getLabels() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the map of labels of this graph.
- getLanguageEquivalenceCounterExample() - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageEquivalence
-
- getLanguageEquivalenceCounterExample() - Method in interface de.uni_due.inf.ti.raven.algorithms.LanguageEquivalenceAlgorithm
-
Returns the counter example, if the language of the first automaton is
not equivalent to the language of the second automaton, and null
otherwise
- getLanguageInclusionControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new language inclusion checking control panel created by this
ControlPanelFactory
.
- getLength() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Returns the number of bits used to define this BDD domain.
- getLength() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- getLength() - Method in interface de.uni_due.inf.ti.raven.data.Decomposition
-
Returns the length of this decomposition, i.e. the number of
bags of this decomposition.
- getLength() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- getLength() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- getLength() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the bit length of this BDD encoding
- getListener() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the listener; For saving purposes only
- getLogger() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the logger; For saving purposes only
- getMajorVersion() - Static method in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Returns the major version of the last found update.
- getMajorVersion() - Static method in class de.uni_due.inf.ti.raven.main.Version
-
Returns the major version.
- getMappingBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultSubgraphEncoding
-
- getMappingBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns a BDD which encodes that in state state
the node
-th subgraph node
is the image of pos
-th interface node (of the function mapping the interface into
the subgraph node set) if and only if the BDD is true
.
- getMappingType(int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the type string indicating the bit for the mapping of the node
-th node
to the pos
-th interface position.
- getMaximum() - Method in class de.uni_due.inf.ti.raven.actions.ComputationEvent
-
Returns the maximum value.
- getMaximum() - Method in class de.uni_due.inf.ti.raven.data.automata.MaximumEdgeAutomaton
-
Returns the maximum number of edges.
- getMaximum() - Method in class de.uni_due.inf.ti.raven.data.automata.MaximumVertexAutomaton
-
Returns the maximum number of vertices.
- getMaximumDominatingSetSize() - Method in class de.uni_due.inf.ti.raven.data.automata.DominatingSetAutomaton
-
Returns the maximum size of the dominating set.
- getMaximumInterface() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the maximum interface of this automaton.
- getMaximumInterface() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the maximum interface size.
- getMaximumVertexCoverSize() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCoverAutomaton
-
Returns the maximum size of the vertex cover.
- getMembershipBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherDominatingSetEncoding
-
- getMembershipBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultDominatingSetEncoding
-
- getMembershipBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCoverEncoding
-
- getMembershipBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns a BDD which encodes that the node
-th node of the interface
is a member of the dominating set.
- getMembershipBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns a BDD which encodes that the node
-th node of the interface
is a member of the vertex cover.
- getMembershipControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new membership checking control panel created by this ControlPanelFactory
.
- getMembershipNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns the type string indicating the membership bits for the node
-th node.
- getMembershipNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns the type string indicating the membership bits for the node
-th node.
- getMessages() - Static method in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Returns a named list of all console messages.
- getMessages() - Static method in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Returns the GUI message bundle.
- getMinimum() - Method in class de.uni_due.inf.ti.raven.data.automata.MinimumEdgeAutomaton
-
Returns the minimum number of edges.
- getMinimum() - Method in class de.uni_due.inf.ti.raven.data.automata.MinimumVertexAutomaton
-
Returns the minimum number of vertices.
- getMinorVersion() - Static method in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Returns the minor version of the last found update.
- getMinorVersion() - Static method in class de.uni_due.inf.ti.raven.main.Version
-
Returns the minor version.
- getMnemonic() - Method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns the mnemonic of this CommandTextInfo.
- getModeNames() - Method in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- getName() - Method in class de.uni_due.inf.ti.raven.actions.ComputationEvent
-
Returns the name of this event.
- getName() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
Returns the name of this edge.
- getName() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the name of the graph.
- getName() - Method in class de.uni_due.inf.ti.raven.data.NameDataPair
-
Returns the name of the Data
object
- getName() - Method in class de.uni_due.inf.ti.raven.data.Node
-
Returns the name of this node.
- getName(Data) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns the name of object data
.
- getName() - Method in class de.uni_due.inf.ti.raven.gui.NewEdgeDialog.EdgeData
-
Returns the name of the edge.
- getNames() - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns the names of the data object contained in this repository.
- getNeighbors() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Returns the set of neighbors of this bag
- getNode(String) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the node with the name nodeName
or null
if no
node with the given name is existing.
- getNode(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the node with the name nodeName
or null
if no
node with the given name is existing.
- getNode(int) - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Returns the index
-th node of this permutation
- getNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultSubgraphEncoding
-
- getNodeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns a BDD which encodes that in state state
the node
-th subgraph node
has been recognized if and only if the BDD is true
.
- getNodeColor(RavenBDD, int) - Method in class de.uni_due.inf.ti.raven.data.automata.ColorabilityAutomaton
-
Returns the color of the node
-th interface node in the state state
.
- getNodeCount() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the number of nodes of this graph
- getNodeCount() - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the number of nodes of the wanted subgraph.
- getNodeCounter() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the node count of this decomposition.
- getNodeNames() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of node names of this graph.
- getNodeOrder() - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
Returns the node-order which is used for this automaton.
- getNodeOrder() - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the node order of this encoding.
- getNodes() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the set of nodes of this cospan.
- getNodes() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the set of nodes of this graph.
- getNodes() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Returns the set of nodes contained in this bag.
- getNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the type string indicating the existence bits for the node
-th node.
- getNonFinalStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the non-final state set encoded as an BDD.
- getNonFinalStates(int) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the set of non-final states for the interface of size
size
encoded as an BDD.
- getNumberOfAdjacentNodes(Node) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the number of nodes adjacent to the node node
- getNumberOfAdjacentNodes(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the number of nodes adjacent to the node node
- getNumberOfFinalStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the number of final states of this automaton.
- getNumberOfInitialStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the number of initial states of this automaton.
- getNumberOfNeighbors() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Returns the number of neighbors of this bag.
- getNumberOfNonFinalStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the number of non-final states of this automaton.
- getNumberOfNonFinalStates(int) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the number of non-final states of this automaton for the given
interface size size
.
- getNumberOfStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the number of all states of this automaton.
- getNumberOfStates(int) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the number of states of this automaton for the given interface
size size
.
- getOne() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the One-BDD.
- getOperations() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the list of operations used for this cospan decomposition
- getOperations() - Method in class de.uni_due.inf.ti.raven.data.Signature
-
Returns the set of letters of this signature
- getOuterInterface() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the size of the outer interface of this automaton.
- getOuterInterface() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns a list of the nodes in the outer interface of this cospan.
- getOuterInterface() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns a list of the nodes in the outer interface of this decomposition.
- getOuterInterface() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the outer interface size
- getOuterInterfaceNode(int) - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the i
-th node of the outer interface of this cospan.
- getOuterInterfaceNodeNames() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Deprecated.
- getOuterInterfaceSize() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
Returns the size of the outer interface (of the cospan) of this decomposition.
- getOuterInterfaceSize() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the size of the outer interface (of the cospan) of this decomposition.
- getPathBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherPathEncoding
-
- getPathBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultPathEncoding
-
- getPathBit(BDDEncoding.StateType, int, int) - Method in class de.uni_due.inf.ti.raven.encodings.PathEncoding
-
Returns a BDD which encodes the (non)-existence of a path from the from
-th node
in the interface to the to
-th node of the interface.
- getPathDecomposition(Permutation) - Static method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
Creates a new path decomposition from the permutation permutation
.
- getPathDecomposition(TreeDecomposition) - Static method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
Creates a new path decomposition from the tree decomposition decomposition
.
- getPathNodeType(int, int) - Static method in class de.uni_due.inf.ti.raven.encodings.PathEncoding
-
Returns the type string indicating the (non-)existence of a path from the from
-th
interface node to the to
-th interface node.
- getPerm() - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Returns the PERM operation.
- getPredecessorStates(RavenBDD, Operation) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the set of predecessor states for a given set of current states
and and a given input letter (i.e. a graph operation).
- getPrinter() - Static method in class de.uni_due.inf.ti.raven.data.bdd.BuddyStatsPrinter
-
Returns a printer for printing status information about BuDDy
- getPrinter() - Static method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
Returns a printer for printing to the console.
- getPrinter(JTextArea) - Static method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
Returns a printer for printing to the JTextArea
textarea
.
- getProperty(String) - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Returns the value of a property.
- getPropertyNames() - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Returns a set of names of properties currently set for Raven.
- getReachableStates(CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the set of reachable states for a given graph decomposition
starting with the initial states.
- getRemainder() - Method in class de.uni_due.inf.ti.raven.data.automata.EdgeCountingAutomaton
-
Returns the remainder for the number of edges
- getRemainder() - Method in class de.uni_due.inf.ti.raven.data.automata.VertexCountingAutomaton
-
Returns the remainder for the number of vertices
- getRemainderBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.CountingEncoding
-
Returns a BDD which encodes in state state
the pos
-th bit of the
remainder.
- getRemainderBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultEdgeCountingEncoding
-
- getRemainderBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCountingEncoding
-
- getRemainderBitLength() - Method in class de.uni_due.inf.ti.raven.encodings.CountingEncoding
-
Returns the number of bits used to encode the remainder.
- getRepository() - Static method in class de.uni_due.inf.ti.raven.data.Repository
-
Returns the repository used for this instance of Raven.
- getRes() - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Returns the RES operation.
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.AddToRepositoryAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.ComputationAction
-
Returns the result of the computation.
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.CospanDecomposeAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.EmptinessCheckAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.InvariantCheckingAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.LanguageInclusionAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.LibTWAllStartLexBFSAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyDegreeAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyFillInAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.LibTWLexBFSAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.MembershipAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.ProductAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.ReachabilityAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.RemoveAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.SimulationCheckingAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.UnionAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.UniversalityAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction
-
- getResult() - Method in class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction
-
- getRoots() - Method in class de.uni_due.inf.ti.raven.gui.RavenDirectoryFileSystemView
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.A_listContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_listContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeopContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_stmtContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.PortContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.StmtContext
-
- getRuleIndex() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
-
- getRuleNames() - Method in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- getRuleNames() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- getSatAssignments(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns a list of satisfying variable assignments (seen as BDDs) for the variables var
.
- getSecondAutomaton() - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
Returns the second automaton.
- getSecondAutomaton() - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Returns the second automaton.
- getSelectedData() - Method in class de.uni_due.inf.ti.raven.gui.DataComboBox
-
Returns the selected Data
-object.
- getSelectedName() - Method in class de.uni_due.inf.ti.raven.gui.DataComboBox
-
Returns the name of the selected Data
-object.
- getSeparationBit(BDDEncoding.StateType) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
Returns a BDD which encodes that in state state
the separation bit has been set if
and only if the BDD is true
.
- getSignature() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
Returns the underlying signature of this cospan decomposition
- getSimulation(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- getSimulation(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- getSimulation(Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- getSimulation(Automaton, Automaton) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- getSimulation(Automaton) - Method in interface de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm
-
Returns the simulation relation on the states of the automaton automaton
.
- getSimulation(Automaton, Automaton) - Method in interface de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm
-
Returns the simulation relation on the states of the automata firstAutomaton
and secondAutomaton
.
- getSimulationControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new simulation computation control panel created by this ControlPanelFactory
.
- getSize() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the size of the automaton (in the number of BDD nodes used to
encode the state set)
- getSize() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Returns the size of this graph, i.e. the number of nodes.
- getSize() - Method in class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Returns the size of this bag.
- getSize() - Method in class de.uni_due.inf.ti.raven.data.Permutation
-
Returns the size of the permutation, i.e. the number of nodes of this permutation.
- getSource() - Method in class de.uni_due.inf.ti.raven.data.RuleCounterExample
-
Returns the cospan decomposition of the left hand-side used as a counter-example
- getSourceNodes() - Method in class de.uni_due.inf.ti.raven.data.automata.PathAutomaton
-
Returns the source nodes.
- getSourcePathBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherPathEncoding
-
- getSourcePathBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultPathEncoding
-
- getSourcePathBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.PathEncoding
-
Returns the BDD which encodes whether the node
-th interface node is connected to at
least one of the source nodes.
- getSourcePathNodeType(int) - Static method in class de.uni_due.inf.ti.raven.encodings.PathEncoding
-
Returns the type string indicating the (non-)existence of a path from a source node to
the node
-th interface node.
- getStateBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD which encodes the pos
-th state bit for
the state type type
.
- getStateEncodingBDD() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns a BDD encoding the bits of the state information
in the encoding for the current state.
- getStateLength() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the bit length of the state encoding.
- getStateName(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the state name of a single state encoded as bdd.
- getStates() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the state set encoded as an BDD.
- getStates(int) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the state set for the interface of size size
encoded as an BDD.
- getStatesWithoutSuccessorFor(Operation) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the set of states which have no successor state for the given
letter
- getStateTransBDDs() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the Transition BDD Map For saving purposes only
- getStateType() - Static method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the type string indicating the bits for the state encoding.
- getString(String, String...) - Method in class de.uni_due.inf.ti.raven.messages.Messages
-
Returns the console-message string for the given key.
- getString(String) - Method in class de.uni_due.inf.ti.raven.messages.Messages
-
Returns the console-message string for the given key.
- getSubgraph() - Method in class de.uni_due.inf.ti.raven.data.automata.SubgraphAutomaton
-
Returns the graph which is used as a subgraph for this automaton.
- getSubgraph() - Method in class de.uni_due.inf.ti.raven.encodings.SubgraphEncoding
-
Returns the wanted subgraph.
- getSuccessorStateDomain() - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Returns the BDD domain for the successor states
of the transition relations
- getSuccessorStates(RavenBDD, Operation) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the set of successor states for a given set of current states and
and a given input letter (i.e. a graph operation).
- getTarget() - Method in class de.uni_due.inf.ti.raven.data.RuleCounterExample
-
Returns the cospan decomposition of the right hand-side used as a counter-example
- getTargetNodes() - Method in class de.uni_due.inf.ti.raven.data.automata.PathAutomaton
-
Returns the target nodes.
- getText() - Method in class de.uni_due.inf.ti.raven.messages.CommandTextInfo
-
Returns the text of this CommandTextInfo.
- getTokenNames() - Method in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- getTokenNames() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- getTrans() - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Returns the TRANS operation.
- getTransitionRelation(Operation) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Returns the transition relation for the given letter
- getTreeDecomposition(Permutation) - Static method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
Creates a new tree decomposition from the permutation permutation
.
- getType() - Method in class de.uni_due.inf.ti.raven.actions.ComputationEvent
-
Returns the event type.
- getType() - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.Cospan
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.CospanCounterExample
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- getType() - Method in interface de.uni_due.inf.ti.raven.data.Data
-
Returns the type of the data object.
- getType() - Method in class de.uni_due.inf.ti.raven.data.Edge
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.Graph
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.Node
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.Operation
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.RuleCounterExample
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.Signature
-
- getType() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherDominatingSetEncoding
-
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultDominatingSetEncoding
-
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultNoIsolatedNodesEncoding
-
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCoverEncoding
-
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DominatingSetEncoding
-
Returns a BDD which encodes that in state state
the node
-th interface node
is not defined if and only if the BDD is true
.
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.NoIsolatedNodesEncoding
-
Returns a BDD which encodes that in state state
the node
-th interface node
is not defined if and only if the BDD is true
.
- getUndefinedNode(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns a BDD which encodes that in state state
the node
-th interface node
is not defined if and only if the BDD is true
.
- getUniversalityControlPanel() - Static method in class de.uni_due.inf.ti.raven.gui.ControlPanelFactory
-
Returns a new universality control panel created by this ControlPanelFactory
.
- getUpdateInformation() - Static method in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Returns the update information of the last found update.
- getValue() - Method in class de.uni_due.inf.ti.raven.actions.ComputationEvent
-
Returns the current value.
- getValueBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.BoundEncoding
-
Returns a BDD which encodes the pos
-th bit of the value of the node/edge counter.
- getValueBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMaximumBoundEncoding
-
- getValueBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMinimumBoundEncoding
-
- getVarProfile() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the number of times each variable occurs in this BDD.
- getVars() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDDomain
-
Return all variables of this domain.
- getVersion() - Static method in class de.uni_due.inf.ti.raven.main.Version
-
Returns the current version of this program.
- getVertex() - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Returns the VERTEX operation.
- getVertexByName(String) - Method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Returns the mxCell
-object representing the vertex with the id name
.
- getVertexCoverBitLength() - Method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns the length of the encoding of the vertex cover size
- getVertexCoverSize() - Method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns the maximum size of the vertex cover.
- getVertexCoverSizeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCoverEncoding
-
- getVertexCoverSizeBit(BDDEncoding.StateType, int) - Method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns a BDD which encodes in state state
the pos
-th bit of the
current size of the vertex cover.
- getVertexCoverSizeType() - Static method in class de.uni_due.inf.ti.raven.encodings.VertexCoverEncoding
-
Returns the type string indicating the bits for the vertex cover size.
- getVisualGraph(Graph) - Static method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Converts a Raven graph to its graph visualization.
- getVisualGraph(Cospan) - Static method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Converts a Raven cospan to its graph visualization.
- getVisualGraph(Automaton, CospanDecomposition) - Static method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Creates a graph visualization of the run of the automaton automaton
on
the decomposition decomposition
.
- getWidth() - Method in class de.uni_due.inf.ti.raven.data.CospanDecomposition
-
- getWidth() - Method in interface de.uni_due.inf.ti.raven.data.Decomposition
-
Returns the overall width of this decomposition, i.e. the size of the
largest interface of this decomposition.
- getWidth() - Method in class de.uni_due.inf.ti.raven.data.PathDecomposition
-
- getWidth() - Method in class de.uni_due.inf.ti.raven.data.TreeDecomposition
-
- getWindow() - Static method in class de.uni_due.inf.ti.raven.gui.CounterExampleWindow
-
Returns the counterexample window.
- getWindow() - Static method in class de.uni_due.inf.ti.raven.gui.GraphWindow
-
Returns the graph window.
- getWindow() - Static method in class de.uni_due.inf.ti.raven.gui.MainWindow
-
Returns an instance of the main window.
- getWriter() - Static method in class de.uni_due.inf.ti.raven.io.AutomatonFileWriter
-
Returns a DataObjectFileWriter
to save Data
objects to files.
- getWriter() - Static method in class de.uni_due.inf.ti.raven.io.GXLWriter
-
Returns an instance of the GXL Writer
- getWriter() - Static method in class de.uni_due.inf.ti.raven.io.PlainTextWriter
-
Returns a PlainTextWriter
to save Data
objects to files.
- getZero() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the Zero-BDD.
- GOODBYE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- GRAPH - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- GRAPH() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Attr_stmtContext
-
- GRAPH - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- graph() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- GRAPH() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- Graph - Class in de.uni_due.inf.ti.raven.data
-
This class represents an edge-labeled hypergraph, i.e. a 4-tuple
G = (VG, EG, attG, labG)
such that
VG is a finite set of nodes,
EG is a finite set of (hyper-)edges,
attG is the attachment function, which
assigns to each edge e a sequence of incident nodes
attG(e) and
labG is the labeling function, which
assigns to each edge e label labG(e).
- Graph(String) - Constructor for class de.uni_due.inf.ti.raven.data.Graph
-
Creates a new empty graph, i.e. the graph contains an empty node set and
an empty edge set.
- Graph.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented graphs.
- GRAPH_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- GRAPH_ADDED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- GRAPH_ALREADY_EXISTS_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- GRAPH_COSPAN_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Graph Cospan Label Label Key
- GRAPH_CREATION_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- GRAPH_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Graph Decomposition Text Key
- GRAPH_DEFINITION_MODE_COMMANDS_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
GRAPH DEFINITION MODE COMMANDS key
- GRAPH_GXL_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for graph files
- GRAPH_GXL_FILE_EXTENSION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Graph GXL File Extension Label Key
- GRAPH_GXL_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Graph GXL File Filter
- GRAPH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Graph Label Label Key
- GRAPH_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- GRAPH_NAME_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Graph Name Label Key
- GRAPH_NAME_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- GRAPH_NOT_FOUND_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- GRAPH_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Graph Not Found Text Key
- GRAPH_PREVIEW - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Graph Preview Label Key
- GRAPH_PRINTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Graph Printed Text Key
- GRAPH_SAVE_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- GRAPH_SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The graph save file directory
- GRAPH_SAVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Graph Saved Text Key
- GRAPH_SAVED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- GRAPH_SAVED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- GRAPH_SVG_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Graph SVG File Filter
- GraphCreationDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to create a new graph.
- GraphDecomposition - Interface in de.uni_due.inf.ti.raven.data
-
The GraphDecomposition
is the parent interface of the
PathDecomposition
and the TreeDecomposition
interface.
- GraphDecomposition.Bag - Class in de.uni_due.inf.ti.raven.data
-
This class represents a set of nodes used by several types of graph
decompositions.
- GraphDecomposition.Bag(int) - Constructor for class de.uni_due.inf.ti.raven.data.GraphDecomposition.Bag
-
Creates a new empty bag.
- GraphDecompositionAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for the computation of graph decompositions of a given graph.
- GraphDecompositionAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- GraphInformationPanelBuilder - 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 graphs.
- GraphInformationPanelBuilder(DefaultFormBuilder) - Constructor for class de.uni_due.inf.ti.raven.gui.GraphInformationPanelBuilder
-
Creates the panel on which graph information will be displayed.
- GraphPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print graphs.
- GraphView - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a VisualGraph
to visualize graphs.
- GraphView(Component) - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.GraphView
-
Creates a new GraphView
component.
- GraphWindow - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a window which is used to display a single graph.
- GraphWriter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to write a graph to a specific file.
- GRAY - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Gray Color Index
- GREEN - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Green Color Index
- GuiMessages - Class in de.uni_due.inf.ti.raven.gui
-
This class provides the keys for the various GUI messages which can be obtained from
the underlying resource bundles.
- GXL_DTD_URI - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The GXL DTD URI
- GXL_TAG_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- GXLErrorHandler - Class in de.uni_due.inf.ti.raven.io
-
This class provides an XML error handler which logs paerser exception occuring
during processing GXL files.
- GXLErrorHandler() - Constructor for class de.uni_due.inf.ti.raven.io.GXLErrorHandler
-
- GXLReader - Class in de.uni_due.inf.ti.raven.io
-
This class provides operations for reading graphs and cospans from files.
- GXLWriter - Class in de.uni_due.inf.ti.raven.io
-
Writes a cospan or graph to a GXL file.