org.processmining.plugins.flex.replayer.data
Class FlexExtendedEncodedState
java.lang.Object
org.processmining.plugins.flex.replayer.data.FlexExtendedEncodedState
public class FlexExtendedEncodedState
- extends java.lang.Object
Constructor Summary |
FlexExtendedEncodedState(java.lang.Short newlySelectedFlexNode,
java.util.List<java.lang.Short> selectedInputSet,
java.util.List<java.lang.Short> selectedOutputSet,
java.util.List<java.lang.Short> unsatisfiedEventsInSelectedInputSet)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FlexExtendedEncodedState
public FlexExtendedEncodedState(java.lang.Short newlySelectedFlexNode,
java.util.List<java.lang.Short> selectedInputSet,
java.util.List<java.lang.Short> selectedOutputSet,
java.util.List<java.lang.Short> unsatisfiedEventsInSelectedInputSet)
getNewlySelectedFlexNode
public short getNewlySelectedFlexNode()
setNewlySelectedFlexNode
public void setNewlySelectedFlexNode(short newlySelectedFlexNode)
getSelectedInputSet
public java.util.List<java.lang.Short> getSelectedInputSet()
setSelectedInputSet
public void setSelectedInputSet(java.util.List<java.lang.Short> selectedInputSet)
getSelectedOutputSet
public java.util.List<java.lang.Short> getSelectedOutputSet()
setSelectedOutputSet
public void setSelectedOutputSet(java.util.List<java.lang.Short> selectedOutputSet)
getUnsatisfiedEventsInSelectedInputSet
public java.util.List<java.lang.Short> getUnsatisfiedEventsInSelectedInputSet()
setUnsatisfiedEventsInSelectedInputSet
public void setUnsatisfiedEventsInSelectedInputSet(java.util.List<java.lang.Short> unsatisfiedEventsInSelectedInputSet)
getIsMoveOnStartingNode
public java.lang.Boolean getIsMoveOnStartingNode()
setIsMoveOnStartingNode
public void setIsMoveOnStartingNode(java.lang.Boolean isMove)