public interface State
Modifier and Type | Field and Description |
---|---|
static short |
NOLABEL |
Modifier and Type | Method and Description |
---|---|
short[] |
getAntiAlignment() |
java.lang.String |
getAntiAlignmentString() |
int |
getDistance(short[][] log,
int trace) |
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getFiringSequence() |
int |
getLength() |
org.processmining.models.semantics.petrinet.Marking |
getMarking() |
int |
getMinimalDistance(short[][] log,
int traceToIgnore) |
<S extends State> |
getNextState(org.processmining.models.semantics.petrinet.Marking newMarking,
short[][] log,
int traceToIgnore,
short executedLabel,
org.processmining.models.graphbased.directed.petrinet.elements.Transition executedTransition) |
int |
getPathDistance()
Returns the distance from the initial state to this state.
|
boolean |
hasSameMarkingAs(State s)
Checks if the marking equals the marking of State s
|
boolean |
isGreaterOrEqual(State s)
returns true if and only if for all elements of the edit distance vector,
the value of this is greater or equal to the value of s.
|
void |
printMatrix(java.io.PrintStream out) |
void |
setFinalMarkingReached(short[][] log,
int traceToIgnore) |
static final short NOLABEL
<S extends State> S getNextState(org.processmining.models.semantics.petrinet.Marking newMarking, short[][] log, int traceToIgnore, short executedLabel, org.processmining.models.graphbased.directed.petrinet.elements.Transition executedTransition)
boolean hasSameMarkingAs(State s)
s
- boolean isGreaterOrEqual(State s)
s
- org.processmining.models.semantics.petrinet.Marking getMarking()
int getMinimalDistance(short[][] log, int traceToIgnore)
int getDistance(short[][] log, int trace)
int getLength()
int getPathDistance()
java.lang.String getAntiAlignmentString()
short[] getAntiAlignment()
java.util.Vector<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getFiringSequence()
void printMatrix(java.io.PrintStream out)
void setFinalMarkingReached(short[][] log, int traceToIgnore)