public class TransitionSystemImpl extends org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition> implements TransitionSystem
Constructor and Description |
---|
TransitionSystemImpl(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
void |
addProxyMap(TransitionSystemImpl ts) |
boolean |
addState(java.lang.Object identifier) |
boolean |
addTransition(java.lang.Object fromState,
java.lang.Object toState,
java.lang.Object identifier) |
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<State,Transition> graph)
The returned mapping satisfies:
map.keySet().containsAll(graph.getNodes()) and
map.keySet().containsAll(graph.getEdges())
|
Transition |
findTransition(java.lang.Object fromState,
java.lang.Object toState,
java.lang.Object identifier) |
java.util.Set<Transition> |
getEdges() |
java.util.Collection<Transition> |
getEdges(java.lang.Object identifier) |
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition> |
getEmptyClone() |
State |
getNode(java.lang.Object identifier) |
java.util.Set<State> |
getNodes() |
java.util.Collection<?> |
getStates() |
java.util.Collection<java.lang.Object> |
getTransitions() |
void |
putProxy(java.lang.Object obj,
java.lang.Object proxy) |
void |
removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
Removes the given edge from the graph.
|
void |
removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node) |
java.lang.Object |
removeState(java.lang.Object state) |
java.lang.Object |
removeTransition(java.lang.Object fromState,
java.lang.Object toState,
java.lang.Object identifier) |
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getLabel
getInEdges, getOutEdges
equals, getGraph, hashCode
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<State,Transition> graph)
org.processmining.models.graphbased.directed.AbstractDirectedGraph
cloneFrom
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition>
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition> getEmptyClone()
getEmptyClone
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition>
public void removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
org.processmining.models.graphbased.directed.DirectedGraph
removeEdge
in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>
removeEdge
in class org.processmining.models.graphbased.directed.AbstractDirectedGraph<State,Transition>
public void removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode node)
removeNode
in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>
public java.util.Collection<java.lang.Object> getTransitions()
getTransitions
in interface TransitionSystem
public java.util.Set<Transition> getEdges()
getEdges
in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>
public java.util.Set<State> getNodes()
getNodes
in interface org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>
public boolean addState(java.lang.Object identifier)
addState
in interface TransitionSystem
public boolean addTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
addTransition
in interface TransitionSystem
public java.util.Collection<?> getStates()
getStates
in interface TransitionSystem
public java.lang.Object removeState(java.lang.Object state)
removeState
in interface TransitionSystem
public State getNode(java.lang.Object identifier)
getNode
in interface TransitionSystem
public Transition findTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
findTransition
in interface TransitionSystem
public java.lang.Object removeTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
removeTransition
in interface TransitionSystem
public java.util.Collection<Transition> getEdges(java.lang.Object identifier)
getEdges
in interface TransitionSystem
public void putProxy(java.lang.Object obj, java.lang.Object proxy)
public void addProxyMap(TransitionSystemImpl ts)