public abstract class AbstractState extends java.lang.Object implements State
Modifier and Type | Field and Description |
---|---|
protected short |
executedLabel |
protected org.processmining.models.graphbased.directed.petrinet.elements.Transition |
executedTransition |
protected org.processmining.models.semantics.petrinet.Marking |
marking |
protected AbstractState |
predecessor |
Modifier | Constructor and Description |
---|---|
|
AbstractState(org.processmining.models.semantics.petrinet.Marking marking)
Constructs the initial state
|
protected |
AbstractState(org.processmining.models.semantics.petrinet.Marking marking,
AbstractState predecessor,
org.processmining.models.graphbased.directed.petrinet.elements.Transition executedTransition,
short executedLabel) |
Modifier and Type | Method and Description |
---|---|
short[] |
getAntiAlignment() |
java.lang.String |
getAntiAlignmentString() |
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getFiringSequence() |
org.processmining.models.semantics.petrinet.Marking |
getMarking() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getDistance, getLength, getMinimalDistance, getNextState, getPathDistance, hasSameMarkingAs, isGreaterOrEqual, printMatrix, setFinalMarkingReached
protected final org.processmining.models.semantics.petrinet.Marking marking
protected final AbstractState predecessor
protected final org.processmining.models.graphbased.directed.petrinet.elements.Transition executedTransition
protected final short executedLabel
public AbstractState(org.processmining.models.semantics.petrinet.Marking marking)
protected AbstractState(org.processmining.models.semantics.petrinet.Marking marking, AbstractState predecessor, org.processmining.models.graphbased.directed.petrinet.elements.Transition executedTransition, short executedLabel)
public org.processmining.models.semantics.petrinet.Marking getMarking()
getMarking
in interface State
public java.lang.String getAntiAlignmentString()
getAntiAlignmentString
in interface State
public short[] getAntiAlignment()
getAntiAlignment
in interface State
public java.util.Vector<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getFiringSequence()
getFiringSequence
in interface State