public class HammingState extends AbstractState
Modifier and Type | Field and Description |
---|---|
protected short |
length |
protected short |
minimumDistance |
protected short[] |
vector |
executedLabel, executedTransition, marking, predecessor
Constructor and Description |
---|
HammingState(org.processmining.models.semantics.petrinet.Marking marking,
int logSize)
Constructs the initial state
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
getDistance(short[][] log,
int trace) |
int |
getLength() |
int |
getMinimalDistance(short[][] log,
int traceToIgnore) |
HammingState |
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.
|
int |
hashCode() |
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) |
java.lang.String |
toString() |
getAntiAlignment, getAntiAlignmentString, getFiringSequence, getMarking
protected final short[] vector
protected short minimumDistance
protected short length
public HammingState(org.processmining.models.semantics.petrinet.Marking marking, int logSize)
public HammingState getNextState(org.processmining.models.semantics.petrinet.Marking newMarking, short[][] log, int traceToIgnore, short executedLabel, org.processmining.models.graphbased.directed.petrinet.elements.Transition executedTransition)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean hasSameMarkingAs(State s)
State
public boolean isGreaterOrEqual(State s)
State
public int hashCode()
hashCode
in class java.lang.Object
public int getMinimalDistance(short[][] log, int traceToIgnore)
public int getDistance(short[][] log, int trace)
public int getPathDistance()
State
public void setFinalMarkingReached(short[][] log, int traceToIgnore)
public int getLength()
public java.lang.String toString()
toString
in class java.lang.Object
public void printMatrix(java.io.PrintStream out)