org.processmining.plugins.petrinet.replayresult
Class SyncReplayResult

java.lang.Object
  extended by org.processmining.plugins.petrinet.replayresult.SyncReplayResult

public class SyncReplayResult
extends java.lang.Object

Author:
aadrians

Constructor Summary
SyncReplayResult(java.util.List<java.lang.String> nodeInstance, java.util.List<StepTypes> stepTypes, java.lang.String caseID)
           
 
Method Summary
 void addNewCase(java.lang.String newCaseID)
           
 java.util.SortedSet<java.lang.String> getCaseID()
           
 int getFreq()
           
 java.util.List<java.lang.String> getNodeInstance()
           
 java.util.List<StepTypes> getStepTypes()
           
 void setCaseID(java.util.Set<java.lang.String> caseID)
           
 void setFreq(int freq)
           
 void setNodeInstance(java.util.List<java.lang.String> nodeInstance)
           
 void setStepTypes(java.util.List<StepTypes> stepTypes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SyncReplayResult

public SyncReplayResult(java.util.List<java.lang.String> nodeInstance,
                        java.util.List<StepTypes> stepTypes,
                        java.lang.String caseID)
Method Detail

addNewCase

public void addNewCase(java.lang.String newCaseID)

getCaseID

public java.util.SortedSet<java.lang.String> getCaseID()
Returns:
the caseID

setCaseID

public void setCaseID(java.util.Set<java.lang.String> caseID)
Parameters:
caseID - the caseID to set

getNodeInstance

public java.util.List<java.lang.String> getNodeInstance()
Returns:
the nodeInstance

setNodeInstance

public void setNodeInstance(java.util.List<java.lang.String> nodeInstance)
Parameters:
nodeInstance - the nodeInstance to set

getStepTypes

public java.util.List<StepTypes> getStepTypes()
Returns:
the stepTypes

setStepTypes

public void setStepTypes(java.util.List<StepTypes> stepTypes)
Parameters:
stepTypes - the stepTypes to set

getFreq

public int getFreq()
Returns:
the freq

setFreq

public void setFreq(int freq)
Parameters:
freq - the freq to set