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

Constructors

Constructor and Description
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

Modifier and Type	Method and Description
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)