org.processmining.plugins.flex.replayer.algorithms
Class AStarFlexLogReplayAlgorithm.StateConstruction

java.lang.Object
  extended by 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)
           
 
Method Summary
 org.apache.commons.collections15.Bag<org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> getAccUnhandledEvents()
           
 org.apache.commons.collections15.Bag<java.lang.Short> getAccUnsatisfiedEvents()
           
 int getNewSkippingDistance()
           
 FlexEncodedState getReplayState()
           
 void setAccUnhandledEvents(org.apache.commons.collections15.Bag<org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> accUnhandledEvents)
           
 void setAccUnsatisfiedEvents(org.apache.commons.collections15.Bag<java.lang.Short> accUnsatisfiedEvents)
           
 void setNewSkippingDistance(int newSkippingDistance)
           
 void setReplayState(FlexEncodedState replayState)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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)
Method Detail

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)