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()