org.processmining.plugins.flex.replayer.algorithms
Class AStarFlexLogReplayAlgorithm.StateConstruction
java.lang.Object
org.processmining.plugins.flex.replayer.algorithms.AStarFlexLogReplayAlgorithm.StateConstruction
- Enclosing class:
- AStarFlexLogReplayAlgorithm
protected class AStarFlexLogReplayAlgorithm.StateConstruction
- extends java.lang.Object
Constructor Summary |
AStarFlexLogReplayAlgorithm.StateConstruction(FlexEncodedState replayState,
org.apache.commons.collections15.Bag<java.lang.Short> accUnsatisfiedEvents,
org.apache.commons.collections15.Bag<org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> accUnhandledEvents,
int newSkippingDistance)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AStarFlexLogReplayAlgorithm.StateConstruction
public AStarFlexLogReplayAlgorithm.StateConstruction(FlexEncodedState replayState,
org.apache.commons.collections15.Bag<java.lang.Short> accUnsatisfiedEvents,
org.apache.commons.collections15.Bag<org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> accUnhandledEvents,
int newSkippingDistance)
getReplayState
public FlexEncodedState getReplayState()
setReplayState
public void setReplayState(FlexEncodedState replayState)
getAccUnsatisfiedEvents
public org.apache.commons.collections15.Bag<java.lang.Short> getAccUnsatisfiedEvents()
setAccUnsatisfiedEvents
public void setAccUnsatisfiedEvents(org.apache.commons.collections15.Bag<java.lang.Short> accUnsatisfiedEvents)
getAccUnhandledEvents
public org.apache.commons.collections15.Bag<org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> getAccUnhandledEvents()
setAccUnhandledEvents
public void setAccUnhandledEvents(org.apache.commons.collections15.Bag<org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> accUnhandledEvents)
getNewSkippingDistance
public int getNewSkippingDistance()
setNewSkippingDistance
public void setNewSkippingDistance(int newSkippingDistance)