public class ReplayProcessor
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Date |
processStartTime |
Constructor and Description |
---|
ReplayProcessor() |
Modifier and Type | Method and Description |
---|---|
double |
getMaxLength() |
float |
getProgress() |
java.lang.String |
getProgressString() |
java.util.Vector<TraceReplay> |
getReplays() |
boolean |
isFinished() |
void |
start(TraceReplayCollection trc,
JSOReplaya rpla,
JSOPetriNet jn,
org.processmining.models.semantics.petrinet.Marking initMarking) |
public double getMaxLength()
public java.util.Vector<TraceReplay> getReplays()
public void start(TraceReplayCollection trc, JSOReplaya rpla, JSOPetriNet jn, org.processmining.models.semantics.petrinet.Marking initMarking)
public float getProgress()
public java.lang.String getProgressString()
public boolean isFinished()