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

java.lang.Object
  extended by org.processmining.plugins.flex.replayer.data.FlexEncodedStateCompact

public class FlexEncodedStateCompact
extends java.lang.Object

Author:
aadrians

Constructor Summary
FlexEncodedStateCompact(java.lang.Short candidateNode, java.lang.Short predKey, java.lang.Short succKey, java.util.Set<java.lang.Short> unsatisfiedPredecessors)
           
 
Method Summary
 short getNewlySelectedFlexNode()
           
 short getSelectedInputSet()
           
 short getSelectedOutputSet()
           
 java.util.Set<java.lang.Short> getUnsatisfiedEventsInSelectedInputSet()
           
 void setNewlySelectedFlexNode(short newlySelectedFlexNode)
           
 void setSelectedInputSet(short selectedInputSet)
           
 void setSelectedOutputSet(short selectedOutputSet)
           
 void setUnsatisfiedEventsInSelectedInputSet(java.util.Set<java.lang.Short> unsatisfiedEventsInSelectedInputSet)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FlexEncodedStateCompact

public FlexEncodedStateCompact(java.lang.Short candidateNode,
                               java.lang.Short predKey,
                               java.lang.Short succKey,
                               java.util.Set<java.lang.Short> unsatisfiedPredecessors)
Method Detail

getNewlySelectedFlexNode

public short getNewlySelectedFlexNode()
Returns:
the newlySelectedFlexNode

setNewlySelectedFlexNode

public void setNewlySelectedFlexNode(short newlySelectedFlexNode)
Parameters:
newlySelectedFlexNode - the newlySelectedFlexNode to set

getSelectedInputSet

public short getSelectedInputSet()
Returns:
the selectedInputSet

setSelectedInputSet

public void setSelectedInputSet(short selectedInputSet)
Parameters:
selectedInputSet - the selectedInputSet to set

getSelectedOutputSet

public short getSelectedOutputSet()
Returns:
the selectedOutputSet

setSelectedOutputSet

public void setSelectedOutputSet(short selectedOutputSet)
Parameters:
selectedOutputSet - the selectedOutputSet to set

getUnsatisfiedEventsInSelectedInputSet

public java.util.Set<java.lang.Short> getUnsatisfiedEventsInSelectedInputSet()
Returns:
the unsatisfiedEventsInSelectedInputSet

setUnsatisfiedEventsInSelectedInputSet

public void setUnsatisfiedEventsInSelectedInputSet(java.util.Set<java.lang.Short> unsatisfiedEventsInSelectedInputSet)
Parameters:
unsatisfiedEventsInSelectedInputSet - the unsatisfiedEventsInSelectedInputSet to set