public class ReplayableDeclare
extends java.lang.Object
implements org.processmining.plugins.DataConformance.framework.Replayable
| Constructor and Description |
|---|
ReplayableDeclare(org.processmining.plugins.declareminer.visualizing.DeclareMap model) |
| Modifier and Type | Method and Description |
|---|---|
org.processmining.plugins.DataConformance.framework.ExecutionTrace |
buildEmptyPrefix() |
org.processmining.plugins.DataConformance.framework.ExecutionTrace |
createLogExecutionTrace(org.processmining.plugins.DataConformance.framework.ExecutionTrace sigmaT) |
java.lang.String |
getSetForVariable(java.lang.String var) |
java.util.Set<java.lang.Comparable> |
getSetValues(java.lang.String setForVariable) |
int |
lengthShortestTrace() |
public ReplayableDeclare(org.processmining.plugins.declareminer.visualizing.DeclareMap model)
public org.processmining.plugins.DataConformance.framework.ExecutionTrace buildEmptyPrefix()
buildEmptyPrefix in interface org.processmining.plugins.DataConformance.framework.Replayablepublic java.lang.String getSetForVariable(java.lang.String var)
getSetForVariable in interface org.processmining.plugins.DataConformance.framework.Replayablepublic java.util.Set<java.lang.Comparable> getSetValues(java.lang.String setForVariable)
getSetValues in interface org.processmining.plugins.DataConformance.framework.Replayablepublic int lengthShortestTrace()
lengthShortestTrace in interface org.processmining.plugins.DataConformance.framework.Replayablepublic org.processmining.plugins.DataConformance.framework.ExecutionTrace createLogExecutionTrace(org.processmining.plugins.DataConformance.framework.ExecutionTrace sigmaT)
createLogExecutionTrace in interface org.processmining.plugins.DataConformance.framework.Replayable