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

A

add(Node) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
 
add(int, Node) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
 
add(Graph) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Adds a graph to this IsomorphismSet.
addAll(Collection<? extends Node>) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
 
addAll(int, Collection<? extends Node>) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
 
addAll(Collection<? extends Graph>) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Adds all graphs in a collection to this IsoMorphismSet.
addBag(Set<Node>) - Method in class de.uni_due.inf.ti.graph.PathDecomposition
Adds a new bag to the end of this PathDecomposition.
addDefaultStyles(StyleMap) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
Adds default styles to the style names of this GraphVisualizer.
addEdge(Label, Node...) - Method in class de.uni_due.inf.ti.graph.Graph
Adds a new edge to this graph.
addEdge(Label, List<Node>) - Method in class de.uni_due.inf.ti.graph.Graph
Adds a new edge to this graph.
addEscapes(String) - Static method in error de.uni_due.inf.ti.graph.io.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addIsomorphic(Graph) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Makes sure that a graph isomorphic to a given graph is present in this IsomorphismSet.
addIsomorphic(Graph) - Method in interface de.uni_due.inf.ti.graph.util.IsomorphismSet
Makes sure that a graph isomorphic to a given graph is present in this IsomorphismSet (optional operation).
addNac(Morphism) - Method in class de.uni_due.inf.ti.graph.NacRule
Adds a negative application condition to this rule.
addNode() - Method in class de.uni_due.inf.ti.graph.Graph
Adds a node to this graph.
addNodes(int) - Method in class de.uni_due.inf.ti.graph.Graph
Adds a number of nodes to this graph.
addRule(Morphism) - Method in class de.uni_due.inf.ti.graph.TransformationSystem
Creates a new rule based on the given correspondence morphism and adds it to this transformation system.
addRule(Rule) - Method in class de.uni_due.inf.ti.graph.TransformationSystem
Adds an existing rule to this transformation system.
addTransition(Transition) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Adds a transition to this ExplicitTransitionSystem.
addTransition(Morphism) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Adds a transition to this ExplicitTransitionSystem by giving the new transition's correspondence morphism.
addTransition(Transition) - Method in class de.uni_due.inf.ti.graph.Trace
Adds a transition to this trace.
addTransition(Morphism) - Method in class de.uni_due.inf.ti.graph.Trace
Adds a new transition to this trace which is created from a morphism.
addTransitions(Transition, Transition...) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Adds transitions to this transition system.
addTransitions(Morphism, Morphism...) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Adds transitions to this transition system.
addTransitions(Collection<Transition>) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Adds transitions to this transition system.
adjustBeginLineColumn(int, int) - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
applyToMatch(Morphism) - Method in class de.uni_due.inf.ti.graph.Rule
Applies this rule to a graph with respect to a match.
arityStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
asMorphism(Graph) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
Returns this interface as a morphism from a given domain to the graph of which this is an interface.
asMorphism() - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
Returns this interface as a morphism to the graph of which this is an interface.
asThreeBool(boolean) - Static method in enum de.uni_due.inf.ti.graph.util.ThreeBool
Returns ThreeBool.TRUE if b == true and ThreeBool.FALSE if b == false.
AttributeObject - Class in de.uni_due.inf.ti.graph
Common superclass for classes which have a single int attribute.
AttributeObject() - Constructor for class de.uni_due.inf.ti.graph.AttributeObject
Creates a new AttributeObject.
AttributeObject(int) - Constructor for class de.uni_due.inf.ti.graph.AttributeObject
Creates a new AttributeObject with a given attribute.
AttributeObject(AttributeObject) - Constructor for class de.uni_due.inf.ti.graph.AttributeObject
Create a new AttributeObject which is a copy of another one.
A B C D E F G H I J K L M N O P R S T U V W