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