- generateParseException() - Method in class de.uni_due.inf.ti.graph.io.SgfParser
-
Generate ParseException.
- get(Node) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the node to which a given node is mapped.
- get(Edge) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the edge to which a given edge is mapped.
- get(Object) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashMap
- getAddCount() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the number of times nodes or edges were added from this graph
since its creation.
- getAddMode() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getArity() - Method in class de.uni_due.inf.ti.graph.Edge
-
Returns the arity of this edge.
- getArity() - Method in class de.uni_due.inf.ti.graph.Label
-
Returns the arity of this label.
- getAttribute() - Method in class de.uni_due.inf.ti.graph.AttributeObject
-
Returns the attribute of this AttributeObject.
- getBag(int) - Method in class de.uni_due.inf.ti.graph.PathDecomposition
-
Returns the bag at a specified index.
- getBeginColumn() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Get token beginning column number.
- getBeginLine() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Get token beginning line number.
- getBinaryArrows() - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Returns whether new edges are displayed as arrows.
- getBinaryArrows() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getBorder(Collection<Edge>) - Static method in class de.uni_due.inf.ti.graph.Edge
-
Returns the border of a collection of edges.
- getBounds(Rectangle2D) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Returns the bounds of the generated graphs.
- getBounds() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Returns the bounds of the generated graphs.
- getCodomain() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the codomain of this morphism.
- getCodomainCorrespondence() - Method in class de.uni_due.inf.ti.graph.Morphism.MorphismResult
-
Returns the codomain correspondence morphism.
- getColor() - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns the color of this style.
- getColorStyle(DotStyle.Color) - Static method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which represents a certain color.
- getColumn() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Deprecated.
- getCompletions(Morphism, boolean) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns morphisms which, when composed to this morphism, results in a
given morphism.
- getCompletions(Morphism) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns all morphisms which, when composed to this morphism, result in a
given morphism.
- getConnectedness() - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Returns the connectedness setting of this RandomGraphGenerator.
- getConnectedPanel() - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Returns the GraphPanel where selected states and transitions are
displayed.
- getConnectionStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Returns the name of the style used for connections which are added by this
GraphSynchronizer.
- getConnectionStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getCorrespondence() - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns the correspondence morphism of this rule.
- getCustomLabel() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the custom label of this transition.
- getDecompositions(InterfaceGraph) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
-
Decomposes this InterfaceGraph in all possible ways such that the
first InterfaceGraph of the decomposition equals a given
InterfaceGraph.
- getDefaultEdgeStyle() - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Returns the default style for hyperedges.
- getDefaultGraphStyle() - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Returns the default style for the graphs in transition systems.
- getDefaultLineStyle() - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Returns the default style for lines.
- getDefaultNodeStyle() - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Returns the default style for graph nodes.
- getDefaults() - Static method in class de.uni_due.inf.ti.graph.TransformationParams
-
Returns the default transformation parameters.
- getDelCount() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the number of times nodes or edges were deleted from this graph
since its creation.
- getDensityDistribution() - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Returns the distribution of the densities of the graphs generated
by this RandomGraphGenerator.
- getDepths() - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Returns a map which assigns a depth to each graph in this
ExplicitTransitionSystem.
- getDiscrete() - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Returns whether this RandomRuleGenerator generates only rules with
discrete interfaces.
- getDomain() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the domain of this morphism.
- getDomainCorrespondence() - Method in class de.uni_due.inf.ti.graph.Morphism.MorphismResult
-
Returns the domain correspondence morphism.
- getDrawer() - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
GraphDrawer object which is used to draw VxGraph instances.
- getEdgeMap() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the edge map of this morphism.
- getEdges() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the edges of this graph.
- getEdgeStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Returns the name of the style used for edges which are added by this
GraphSynchronizer.
- getEdgeStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getEndColumn() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Get token end column number.
- getEndLine() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Get token end line number.
- getErrorEdge() - Method in class de.uni_due.inf.ti.graph.PathDecomposition.TestData
-
Returns the edge which caused failure.
- getErrorNode() - Method in class de.uni_due.inf.ti.graph.PathDecomposition.TestData
-
Returns the node which caused failure.
- getFormat() - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Returns the graphics format this GraphExporter exports to.
- getGraph() - Method in class de.uni_due.inf.ti.graph.GraphElement
-
Returns the graph to which this GraphElement belongs.
- getGraphs() - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Returns the set of graphs which occur in this transition system.
- getGraphs() - Method in class de.uni_due.inf.ti.graph.Trace
-
Returns the list of graphs of this trace.
- getHighlightStyle() - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Returns the highlight style of this DotExporter.
- getHyperedgeStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Returns the name of the style used for hyperedges which are added by this
GraphSynchronizer.
- getHyperedgeStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getId() - Method in class de.uni_due.inf.ti.graph.Node
-
Returns this Node's id.
- GetImage() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Get token literal value.
- getInclusion(Collection<Node>, Collection<Edge>) - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns an injective morphism whose image is a subgraph of this graph.
- getInclusion(Collection<Edge>) - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns an injective morphism whose image is a subgraph of this graph.
- getInducedInclusion(Collection<Node>) - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns an injective morphism that has this graph as domain, whose
image is an induced subgraph of this graph.
- getInitialGraph() - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Returns the initial graph of this graph transition system.
- getInitialGraph() - Method in class de.uni_due.inf.ti.graph.Trace
-
Returns the first graph of the trace.
- getInitialGraph() - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns the initial graph of this transformation system.
- getInitialGraph() - Method in interface de.uni_due.inf.ti.graph.TransitionSystem
-
Returns the initial graph of this graph transition system.
- getInjectiveCompletions(Morphism) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns all injective morphisms which, when composed to this morphism,
result in a given morphism.
- getInjectiveMatch(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns an injective morphism from a given domain to a given codomain.
- getInjectiveMatch(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns an injective, total morphism from a given domain to a given
codomain which is an extension of a given morphism.
- getInjectiveMatches(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all injective, total morphisms from one graph
to another, which are an extension of a given (partial) morphism.
- getInjectiveMatches(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all injective morphisms from one graph to
another.
- getInjectiveMatches() - Method in class de.uni_due.inf.ti.graph.TransformationParams
-
Returns the "injective matches" parameter.
- getInnerInterface() - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
-
Returns the inner interface of this graph.
- getInterfaceSizeDistribution() - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Returns the distribution for the size of the interfaces.
- getInverse() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a new Morphism which is the inverse of this morphism.
- getIsoHash() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the "isomorphism certificate" for this graph.
- getIsolatedNodes() - Method in class de.uni_due.inf.ti.graph.Graph
-
Determines the set of isolated nodes of this graph.
- getIsomorphism(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns an isomorphism from a given domain to a given codomain graph
which is an extension of a given morphism.
- getIsomorphism(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns an isomorphism from a given domain to a given codomain graph.
- getIsomorphisms(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all isomorphisms between two graphs which are
extension of a given injective morphism.
- getIsomorphisms(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all isomorphism between two graphs.
- getLabel() - Method in class de.uni_due.inf.ti.graph.Edge
-
Returns the label of this edge.
- getLabel() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the label of this transition.
- getLabelDistribution() - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Returns the label distribution of this RandomGraphGenerator.
- getLabelStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Returns the name of the style used for labels which are added by this
GraphSynchronizer.
- getLabelStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getLayouter() - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Returns the layouter object which this PngExporter uses to layout
new VxGraph instances.
- getLayouter() - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Returns the layouter object which is used to calculate positions for
the nodes and edges of the visualizations.
- getLeft() - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns the left-hand side of this rule.
- getLeftGenerator() - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Returns the RandomGraphGenerator used to generate the left-hand sides
of the random rules.
- getLeftGroup() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.RuleVisi
-
- getLeftInterface() - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
-
Returns the inner interface of this graph.
- getLine() - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Deprecated.
- getLineStyle() - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns the line style of this style.
- getLineStyle(DotStyle.LineStyle) - Static method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which represents a given line style.
- getMatch(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a total morphism from a given domain to a given codomain.
- getMatch(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a total morphism from a given domain to a given codomain which
is an extension of a given morphism.
- getMatch(Graph, Graph, boolean, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a morphism from a given domain to a given codomain which is
an extension of a given base morphism.
- getMatch(Graph, Graph, boolean) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a morphism from a given domain to a given codomain.
- getMatch() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the match of this transition.
- getMatches(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all the total morphisms from one graph to
another which are extensions of a given (partial) morphism.
- getMatches(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all total morphisms from one graph to another.
- getMatches(Graph, Graph, boolean, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all the total morphisms from one graph to
another which are extensions of a given (partial) morphism.
- getMatches(Graph, Graph, boolean) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a collection of all total morphisms from one graph to another.
- getMatches(Graph) - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns a collection of matches of this rule to a given graph.
- getMessage() - Method in exception de.uni_due.inf.ti.graph.io.SgfBuildException
- getMessage() - Method in error de.uni_due.inf.ti.graph.io.TokenMgrError
-
You can also modify the body of this method to customize your error messages.
- getModCount() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the modification count of this Graph.
- getMorphism() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the morphism of this transition.
- getNacs() - Method in class de.uni_due.inf.ti.graph.NacRule
-
Returns the list of negative application conditions for this rule.
- getName() - Method in class de.uni_due.inf.ti.graph.Label
-
Returns the name of this label.
- getName() - Method in class de.uni_due.inf.ti.graph.NamedObject
-
Returns the name of this NamedObject.
- getNextToken() - Method in class de.uni_due.inf.ti.graph.io.SgfParser
-
Get the next Token.
- getNextToken() - Method in class de.uni_due.inf.ti.graph.io.SgfParserTokenManager
-
Get the next Token.
- getNodeCountDistribution() - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Returns the distribution of the number of nodes of the graphs generated
by this RandomGraphGenerator.
- getNodeMap() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the node map of this morphism.
- getNodes() - Method in class de.uni_due.inf.ti.graph.Edge
-
Returns the list of incident nodes of this edge.
- getNodes() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the set of nodes of this graph.
- getNodeStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Returns the name of the style used for nodes which are added by this
GraphSynchronizer.
- getNodeStyleName() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- getNumOfBags() - Method in class de.uni_due.inf.ti.graph.PathDecomposition
-
Returns the number of bags in this path decomposition.
- getOuterInterface() - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
-
Returns the outer interface of this graph.
- getPartialMorphisms(Graph, Graph, boolean, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a MorphismCollection of partial morphisms from a domain to a
codomain which are extensions of a given base morphism.
- getPartialMorphisms(Graph, Graph, Morphism) - Static method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a MorphismCollection of partial morphisms from a domain to a
codomain which are extension of a given base morphism.
- getPreimage(Node) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns a node which is mapped to a given node.
- getPreimage(Edge) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns an edge which is mapped to a given edge.
- getPreimageOfEdges(Collection<Edge>) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the pre-image of a collection of nodes.
- getPreimageOfNodes(Collection<Node>) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Returns the pre-image of a collection of nodes.
- getRandom() - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Returns the random number generating used by this RandomGraphGenerator.
- getRandom() - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Returns the Java random number generator used by this
RandomRuleGenerator.
- getResult() - Method in class de.uni_due.inf.ti.graph.Morphism.MorphismResult
-
Returns the result morphism.
- getResult() - Method in class de.uni_due.inf.ti.graph.PathDecomposition.TestData
-
Returns whether this TestData denotes success or failure, and which
kind of failure it denotes.
- getRight() - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns the right-hand side of this rule.
- getRightGenerator() - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Returns the RandomGraphGenerator used to generate the right-hand sides
of the random rules.
- getRightGroup() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.RuleVisi
-
- getRightInterface() - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
-
Returns the outer interface of this graph.
- getRule() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the rule of this transition.
- getRuleIsomorphism(Rule) - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns a rule isomorphism between this rule and another given rule.
- getRules() - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns the set of rules of this transformation system.
- getShape() - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns the shape of this style.
- getShapeStyle(DotStyle.Shape) - Static method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which represents a certain shape.
- getShortString() - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns a short string representation of this TransformationSystem.
- getSignature() - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Returns the signature of this transition system.
- getSignature() - Method in class de.uni_due.inf.ti.graph.Graph
-
Returns the signature of this graph.
- getSignature() - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Returns the signature of this RandomGraphGenerator.
- getSignature() - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Returns the signature of rules generated by this RandomRuleGenerator.
- getSignature() - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns the signature of this rule.
- getSignature() - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns the signature of this TransformationSystem.
- getSource() - Method in class de.uni_due.inf.ti.graph.Edge
-
Returns the source node of this binary edge.
- getSource() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the source graph of this transition.
- getStyleMap() - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Returns the style map used by this TransitionSystemPanel.
- getSubMorphism(Morphism) - Method in class de.uni_due.inf.ti.graph.Morphism
-
This method returns a pair of morphisms (f
,g
) such that
srcInc ; this == f ; g
.
- getSubStyle(DotStyle.Color) - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which is equal to this style, except for the color.
- getSubStyle(DotStyle.Shape) - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which is equal to this style, except for the shape.
- getSubStyle(DotStyle.LineStyle) - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which is equal to this style, except for the line style.
- getSubStyle(DotStyle) - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Returns a style which is equal to a given style, except that
default values are changed to the values of this style.
- getSuffix() - Method in enum de.uni_due.inf.ti.graph.io.GraphExporter.Format
-
- GetSuffix(int) - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Get the suffix.
- getSurjectiveMorphism() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Creates a new morphism which is equal to this morphism, except that
the codomain is restricted to the range of this morphism.
- getSynchronizer() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Returns a GraphEditSynchronizer for Graph instances which uses the
style properties of this visualizer.
- getTabSize(int) - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
- getTarget() - Method in class de.uni_due.inf.ti.graph.Edge
-
Returns the target node of this binary edge.
- getTarget() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the target graph of this transition.
- getToken(int) - Method in class de.uni_due.inf.ti.graph.io.SgfParser
-
Get the specific Token.
- getTotalSurjectiveMorphism() - Method in class de.uni_due.inf.ti.graph.Morphism
-
Creates a new morphism which is equal to this one, except that the
domain and codomain are restricted to be the definition domain and
range of this morphism.
- getTransformationParams() - Method in class de.uni_due.inf.ti.graph.Rule
-
Returns the transformation parameters used by this rule.
- getTransformationParams() - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns the transformation parameters for this transformation system.
- getTransitions(Graph) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Returns the outgoing transitions from a source graph.
- getTransitions() - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Returns a set of all transitions in this ExplicitTransitionSystem.
- getTransitions(Graph) - Method in class de.uni_due.inf.ti.graph.Trace
-
Returns all transitions of this trace that begin at a specific
source graph.
- getTransitions() - Method in class de.uni_due.inf.ti.graph.Trace
-
Returns a list of all transitions in this Trace.
- getTransitions(Graph) - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns the outgoing transitions from a source graph.
- getTransitions(Graph, int) - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Returns the transitions of this transformation system from a certain
source graph, with a limit on how many transitions will be returned.
- getTransitions(Graph) - Method in interface de.uni_due.inf.ti.graph.TransitionSystem
-
Returns the outgoing transitions from a source graph.
- getValue() - Method in class de.uni_due.inf.ti.graph.io.Token
-
An optional attribute value of the Token.
- getVisualizer() - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Returns the GraphVisualizer which is used to transform Graph instances
to VxGraph instances.
- getVisualizer() - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Returns the visualizer objects which is used to generate visualizations
of graphs, transitions and transition systems.
- getVxGraph() - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.RuleVisi
-
- getWeight() - Method in class de.uni_due.inf.ti.graph.Transition
-
Returns the weight of this transition.
- getWidth() - Method in class de.uni_due.inf.ti.graph.PathDecomposition
-
Returns the width of this path decomposition.
- Graph - Class in de.uni_due.inf.ti.graph
-
This class represents a hypergraph.
- Graph() - Constructor for class de.uni_due.inf.ti.graph.Graph
-
Creates a new, empty graph.
- Graph(String) - Constructor for class de.uni_due.inf.ti.graph.Graph
-
Creates a new, empty graph with a given name.
- Graph(Graph) - Constructor for class de.uni_due.inf.ti.graph.Graph
-
Creates a new graph which is a copy of another graph.
- GraphElement - Class in de.uni_due.inf.ti.graph
-
This is the common superclass of parts of graphs, that is, of Node and
Edge.
- GraphElement(Graph) - Constructor for class de.uni_due.inf.ti.graph.GraphElement
-
Creates a new GraphElement.
- GraphExporter - Class in de.uni_due.inf.ti.graph.io
-
Abstract superclass of classes which write graphical representations of
graphs, rules and transition systems to files.
- GraphExporter(GraphExporter.Format) - Constructor for class de.uni_due.inf.ti.graph.io.GraphExporter
-
Creates a new GraphExporter instance.
- GraphExporter.Format - Enum in de.uni_due.inf.ti.graph.io
-
- GraphFactory - Class in de.uni_due.inf.ti.graph
-
This is a factory class which contains methods which create
Graph
and InterfaceGraph
objects.
- GraphSynchronizer - Class in de.uni_due.inf.ti.graph.visual
-
- GraphSynchronizer() - Constructor for class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
- GraphVisualizer - Class in de.uni_due.inf.ti.graph.visual
-
Instances of this class convert Graph instances to VxGraph instances.
- GraphVisualizer() - Constructor for class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Creates a new GraphVisualizer instance.
- GraphVisualizer.AddMode - Enum in de.uni_due.inf.ti.graph.visual
-
Represents whether added objects are created, deleted or neither.
- GraphVisualizer.RuleVisi - Class in de.uni_due.inf.ti.graph.visual
-
Class used to return rule visualizations.
- GraphVisualizer.VisualSynchronizer - Class in de.uni_due.inf.ti.graph.visual
-
GraphEditSynchronizer implementation which uses the style properties of
this GraphVisualizer.
- GraphVisualizer.VisualSynchronizer() - Constructor for class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-