public class MPSyncReplayResult
extends org.processmining.plugins.replayer.replayresult.SyncReplayResult
| Constructor and Description |
|---|
MPSyncReplayResult(java.util.List<java.lang.Object> nodeInstance,
java.util.List<org.processmining.plugins.petrinet.replayresult.StepTypes> stepTypes,
int traceIndex,
java.util.List<java.util.Set<DeclarativeArc>> violatedConstraints) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<java.util.Set<DeclarativeArc>> |
getViolatedConstraints() |
int |
size() |
public MPSyncReplayResult(java.util.List<java.lang.Object> nodeInstance,
java.util.List<org.processmining.plugins.petrinet.replayresult.StepTypes> stepTypes,
int traceIndex,
java.util.List<java.util.Set<DeclarativeArc>> violatedConstraints)
public java.util.List<java.util.Set<DeclarativeArc>> getViolatedConstraints()
public int size()