Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.io |
Modifier and Type | Method and Description |
---|---|
Transition |
ExplicitTransitionSystem.addTransition(Morphism morph)
Adds a transition to this ExplicitTransitionSystem by giving the
new transition's correspondence morphism.
|
Transition |
ExplicitTransitionSystem.addTransition(Transition transition)
Adds a transition to this ExplicitTransitionSystem.
|
Transition |
Rule.applyToMatch(Morphism match)
Applies this rule to a graph with respect to a match.
|
Transition |
Transition.changeCoordinates(Morphism srcIso,
Morphism tgtIso)
Creates a new transition which is the same as this transition except
that the source and target are changed to isomorphic graphs.
|
Transition |
Transition.changeSource(Morphism iso)
Creates a new transition which is the same as this transition except
that the source is changed to an isomorphic graph.
|
Transition |
Transition.changeTarget(Morphism iso)
Creates a new transition which is the same as this transition except
that the target is changed to an isomorphic graph.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Transition> |
ExplicitTransitionSystem.getTransitions()
Returns a set of all transitions in this ExplicitTransitionSystem.
|
java.util.List<Transition> |
Trace.getTransitions()
Returns a list of all transitions in this Trace.
|
java.util.Collection<Transition> |
TransformationSystem.getTransitions(Graph source)
Returns the outgoing transitions from a source graph.
|
java.util.Collection<Transition> |
TransitionSystem.getTransitions(Graph source)
Returns the outgoing transitions from a source graph.
|
java.util.Set<Transition> |
ExplicitTransitionSystem.getTransitions(Graph source)
Returns the outgoing transitions from a source graph.
|
java.util.Collection<Transition> |
Trace.getTransitions(Graph source)
Returns all transitions of this trace that begin at a specific
source graph.
|
java.util.Collection<Transition> |
TransformationSystem.getTransitions(Graph source,
int limit)
Returns the transitions of this transformation system from a certain
source graph, with a limit on how many transitions will be returned.
|
Modifier and Type | Method and Description |
---|---|
Transition |
ExplicitTransitionSystem.addTransition(Transition transition)
Adds a transition to this ExplicitTransitionSystem.
|
void |
Trace.addTransition(Transition t)
Adds a transition to this trace.
|
void |
ExplicitTransitionSystem.addTransitions(Transition first,
Transition... more)
Adds transitions to this transition system.
|
void |
ExplicitTransitionSystem.addTransitions(Transition first,
Transition... more)
Adds transitions to this transition system.
|
Modifier and Type | Method and Description |
---|---|
void |
ExplicitTransitionSystem.addTransitions(java.util.Collection<Transition> transitions)
Adds transitions to this transition system.
|
static ExplicitTransitionSystem |
ExplicitTransitionSystem.create(Graph initial,
java.util.Collection<Transition> transitions)
Creates a new ExplicitTransitionSystem.
|
Constructor and Description |
---|
Transition(Transition orig)
Creates a new transition which is a copy of another transition.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphExporter.exportTransformationSequence(java.util.List<Transition> sequence,
java.io.File file)
Write a representation of a transformation sequence to a file.
|
void |
DotExporter.exportTransformationSequence(java.util.List<Transition> sequence,
java.io.File file)
Write a representation of a transformation sequence to a file.
|