public class Execution
extends java.lang.Object
Constructor and Description |
---|
Execution() |
Modifier and Type | Method and Description |
---|---|
void |
addFired(andbur.hub.top.petrinet.Transition t) |
Execution |
clone() |
java.util.LinkedList<java.lang.String> |
getTrace() |
void |
setFiringSeq(java.util.LinkedList<andbur.hub.top.petrinet.Transition> firingSeq) |
void |
setMarking(java.util.LinkedList<andbur.hub.top.petrinet.Place> marking) |
void |
setTrace(java.util.LinkedList<java.lang.String> trace) |
public void setMarking(java.util.LinkedList<andbur.hub.top.petrinet.Place> marking)
public Execution clone()
clone
in class java.lang.Object
public void addFired(andbur.hub.top.petrinet.Transition t)
public void setFiringSeq(java.util.LinkedList<andbur.hub.top.petrinet.Transition> firingSeq)
public void setTrace(java.util.LinkedList<java.lang.String> trace)
public java.util.LinkedList<java.lang.String> getTrace()