public class ReplayState
extends java.lang.Object
Constructor and Description |
---|
ReplayState() |
ReplayState(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.semantics.petrinet.Marking marking2) |
ReplayState(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.semantics.petrinet.Marking dMarking,
int idx) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
getFiredMarking() |
int |
getIndex() |
org.processmining.models.semantics.petrinet.Marking |
getMarking() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition() |
boolean |
isFinalStateFit(org.processmining.models.semantics.petrinet.Marking finalMarking) |
void |
setFiredMarking(org.processmining.models.semantics.petrinet.Marking marking2) |
void |
setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet pnet) |
public ReplayState()
public ReplayState(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.semantics.petrinet.Marking dMarking, int idx)
public ReplayState(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.semantics.petrinet.Marking marking2)
public void setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet pnet)
public boolean isFinalStateFit(org.processmining.models.semantics.petrinet.Marking finalMarking)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition()
public org.processmining.models.semantics.petrinet.Marking getMarking()
public int getIndex()
public void setFiredMarking(org.processmining.models.semantics.petrinet.Marking marking2)
public org.processmining.models.semantics.petrinet.Marking getFiredMarking()