org.processmining.plugins.flex.replayer.data
Class FlexExtendedEncodedState

java.lang.Object
  extended by 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)
           
 
Method Summary
 java.lang.Boolean getIsMoveOnStartingNode()
           
 short getNewlySelectedFlexNode()
           
 java.util.List<java.lang.Short> getSelectedInputSet()
           
 java.util.List<java.lang.Short> getSelectedOutputSet()
           
 java.util.List<java.lang.Short> getUnsatisfiedEventsInSelectedInputSet()
           
 void setIsMoveOnStartingNode(java.lang.Boolean isMove)
           
 void setNewlySelectedFlexNode(short newlySelectedFlexNode)
           
 void setSelectedInputSet(java.util.List<java.lang.Short> selectedInputSet)
           
 void setSelectedOutputSet(java.util.List<java.lang.Short> selectedOutputSet)
           
 void setUnsatisfiedEventsInSelectedInputSet(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
 

Constructor Detail

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

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)