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

C

changeCoordinates(Morphism, Morphism) - Method in class de.uni_due.inf.ti.graph.Transition
Creates a new transition which is the same as this transition except that the source and target are changed to isomorphic graphs.
changeSource(Morphism) - Method in class de.uni_due.inf.ti.graph.Transition
Creates a new transition which is the same as this transition except that the source is changed to an isomorphic graph.
changeTarget(Morphism) - Method in class de.uni_due.inf.ti.graph.Transition
Creates a new transition which is the same as this transition except that the target is changed to an isomorphic graph.
checkAndPut(Node, Node) - Method in class de.uni_due.inf.ti.graph.Morphism
Checks whether domNode can be mapped to codNode and maps domNode to codNode if possible.
checkAndPut(Edge, Edge) - Method in class de.uni_due.inf.ti.graph.Morphism
Checks whether domEdge can be mapped to codEdge and maps domEdge to codEdge if possible.
checkMatch(Morphism) - Method in class de.uni_due.inf.ti.graph.NacRule
Determines if a given match satisfies additional application conditions for this rule.
checkMatch(Morphism) - Method in class de.uni_due.inf.ti.graph.Rule
Determines if a given match satisfies additional application conditions for this rule.
clear() - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
 
clear() - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Removes all elements from this IsomorphismList.
clearVisualizationCache() - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
Clears the cache used to store visualizations of objects.
clone() - Method in class de.uni_due.inf.ti.graph.NacRule
clone() - Method in class de.uni_due.inf.ti.graph.Rule
column - Variable in class de.uni_due.inf.ti.graph.io.SimpleCharStream
 
compose(InterfaceGraph) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph
Compose another graph to this graph.
compose(Morphism) - Method in class de.uni_due.inf.ti.graph.Morphism
Composes this morphism with another morphism.
connectionStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
contains(Object) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Determines whether this IsomorphismSet contains a graph which is isomorphic to a given graph.
containsAll(Collection<?>) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Determines whether this IsomorphismSet contains all elements of a given collection.
containsIsomorphic(Graph) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
Determines whether this IsomorphismSet contains a graph which is isomorphic to a given graph.
containsIsomorphic(Graph) - Method in interface de.uni_due.inf.ti.graph.util.IsomorphismSet
Determines whether this IsomorphismSet contains a graph which is isomorphic to a given graph.
countUniqueEdges() - Method in class de.uni_due.inf.ti.graph.NacRule
Counts the number of unique edges in this rule.
countUniqueEdges() - Method in class de.uni_due.inf.ti.graph.Rule
Counts the number of unique edges in this rule.
countUniqueNodes() - Method in class de.uni_due.inf.ti.graph.NacRule
Counts the number of unique nodes in this rule.
countUniqueNodes() - Method in class de.uni_due.inf.ti.graph.Rule
Counts the number of unique nodes in this rule.
create(Graph, Morphism...) - Static method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Creates a new ExplicitTransitionSystem.
create(Graph, Collection<Transition>) - Static method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Creates a new ExplicitTransitionSystem.
create(Graph, Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
Creates a new, empty morphism with given domain and codomain.
create(Graph, Graph, Map<Node, Node>) - Static method in class de.uni_due.inf.ti.graph.Morphism
Creates a new morphism which only maps nodes.
create(Graph, Graph, Map<Node, Node>, Map<Edge, Edge>) - Static method in class de.uni_due.inf.ti.graph.Morphism
Creates a new morphism from a node map and an edge map.
create() - Static method in class de.uni_due.inf.ti.graph.TransformationParams
Returns a new TransformationParams instance which is a child of the default TransformationParams.
create(Graph, Rule...) - Static method in class de.uni_due.inf.ti.graph.TransformationSystem
Creates a new transformation system.
create(Graph, Collection<Rule>) - Static method in class de.uni_due.inf.ti.graph.TransformationSystem
Creates a new transformation system.
createCompleteGraph(int, Label, boolean) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new complete graph.
createCompleteGraph(int, Label) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new complete graph.
createComposition(Morphism...) - Static method in class de.uni_due.inf.ti.graph.Morphism
Creates a new Morphism which is the composition of a number of morphisms.
createConnect(int, Label, List<Integer>) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new interface graph which corresponds to the "connect" atomic operation.
createConnect(int, Label) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new interface graph which corresponds to the "connect" atomic operation.
createCycleGraph(int, Label) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new cycle graph.
createdArityStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
createdConnectionStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
createdEdgeStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
createdHyperedgeStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
createDiscreteGraph(int) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new discrete graph.
createdLabelStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
createdNodeStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
 
createExplicitTransitionSystem(int) - Method in class de.uni_due.inf.ti.graph.TransformationSystem
Creates an ExplicitTransitionSystem which is equal to this TransformationSystem up to a finite depth.
createFlowerGraph(Collection<Label>) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a flower graph of a given signature.
createIdentity(int) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new interface graph which represents the identity operation.
createIdentity(Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
Creates a new identity morphism.
createIsomorphism(Graph) - Static method in class de.uni_due.inf.ti.graph.Morphism
Creates a new graph which is isomorphic to a given graph and returns an isomorphism between that graph and the new one.
createPathGraph(int, Label) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new path graph.
createRandomGraphWithPathWidth(int, double, int, Set<Label>) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new random graph of which the path width will not exceed a given bound.
createRestrict(int, int) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates an interface graph which corresponds to the "restrict" atomic operation, which removes a number of nodes from the interface.
createRestrict(int) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates an interface graph which corresponds to the "restrict" atomic operation, which removes a single node from the interface.
createTransitionSystem() - Method in class de.uni_due.inf.ti.graph.Trace
Returns a ExplicitTransitionSystem consisting of the transitions of this Trace.
createVertex(int, int) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new interface graph which represents the vertex operation.
createVertex(int) - Static method in class de.uni_due.inf.ti.graph.GraphFactory
Creates a new interface graph which represents the vertex operation.
createWithMorphisms(Graph, Collection<Morphism>) - Static method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
Creates a new ExplicitTransitionSystem by giving a collection of transition morphisms.
curChar - Variable in class de.uni_due.inf.ti.graph.io.SgfParserTokenManager
 
currentToken - Variable in exception de.uni_due.inf.ti.graph.io.ParseException
This is the last token that has been consumed successfully.
A B C D E F G H I J K L M N O P R S T U V W