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.Replayable
public java.lang.String getSetForVariable(java.lang.String var)
getSetForVariable
in interface org.processmining.plugins.DataConformance.framework.Replayable
public java.util.Set<java.lang.Comparable> getSetValues(java.lang.String setForVariable)
getSetValues
in interface org.processmining.plugins.DataConformance.framework.Replayable
public int lengthShortestTrace()
lengthShortestTrace
in interface org.processmining.plugins.DataConformance.framework.Replayable
public org.processmining.plugins.DataConformance.framework.ExecutionTrace createLogExecutionTrace(org.processmining.plugins.DataConformance.framework.ExecutionTrace sigmaT)
createLogExecutionTrace
in interface org.processmining.plugins.DataConformance.framework.Replayable