org.processmining.plugins.flex.replayresult.repelements
Class InputNodeSetResult

java.lang.Object
  extended by org.processmining.plugins.flex.replayresult.repelements.AbstractElementSetResult
      extended by org.processmining.plugins.flex.replayresult.repelements.InputNodeSetResult

public class InputNodeSetResult
extends AbstractElementSetResult

Version:
Apr 21, 2010
Author:
Arya Adriansyah

Constructor Summary
InputNodeSetResult(java.util.Set<java.lang.Short> inputNodeSet)
           
 
Method Summary
 void appendUnsatisfiedEvents(java.util.Set<java.lang.Short> unsatisfiedEvents)
           
 int getFreqUnsatisfiedNodeSet()
           
 java.util.Map<java.lang.Short,java.lang.Integer> getUnsatisfiedEventsFrequency()
           
 void setFreqUnsatisfiedNodeSet(int freqUnsatisfiedNodeSet)
           
 void setUnsatisfiedEventsFrequency(java.util.Map<java.lang.Short,java.lang.Integer> unsatisfiedEventsFrequency)
           
 
Methods inherited from class org.processmining.plugins.flex.replayresult.repelements.AbstractElementSetResult
getFrequency, getNumFitCaseInvolved, getNumUnfitCaseInvolved, incFrequency, incNumFitCaseInvolved, incNumUnfitCaseInvolved, setFrequency, setNumFitCaseInvolved, setNumUnfitCaseInvolved
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InputNodeSetResult

public InputNodeSetResult(java.util.Set<java.lang.Short> inputNodeSet)
Method Detail

appendUnsatisfiedEvents

public void appendUnsatisfiedEvents(java.util.Set<java.lang.Short> unsatisfiedEvents)
Parameters:
unsatisfiedEvents -

getUnsatisfiedEventsFrequency

public java.util.Map<java.lang.Short,java.lang.Integer> getUnsatisfiedEventsFrequency()
Returns:
the missingNodesFrequency

setUnsatisfiedEventsFrequency

public void setUnsatisfiedEventsFrequency(java.util.Map<java.lang.Short,java.lang.Integer> unsatisfiedEventsFrequency)
Parameters:
unsatisfiedEventsFrequency - the missingNodesFrequency to set

getFreqUnsatisfiedNodeSet

public int getFreqUnsatisfiedNodeSet()
Returns:
the freqMissingNodeSet

setFreqUnsatisfiedNodeSet

public void setFreqUnsatisfiedNodeSet(int freqUnsatisfiedNodeSet)
Parameters:
freqUnsatisfiedNodeSet - the freqMissingNodeSet to set