- 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.