A B C D E F G H I J K L M N O P R S T U V W 

G

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
 
A B C D E F G H I J K L M N O P R S T U V W