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

java.lang.Object
  extended by org.processmining.plugins.flex.replayer.data.FlexEncodedState
Direct Known Subclasses:
FlexExtendedEncodedState

public class FlexEncodedState
extends java.lang.Object

Version:
Apr 23, 2010
Author:
Arya Adriansyah

Constructor Summary
FlexEncodedState(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
 short getNewlySelectedFlexNode()
           
 java.util.List<java.lang.Short> getSelectedInputSet()
           
 java.util.List<java.lang.Short> getSelectedOutputSet()
           
 java.util.List<java.lang.Short> getUnsatisfiedEventsInSelectedInputSet()
           
 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

FlexEncodedState

public FlexEncodedState(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)