public class LTLChecker
extends java.lang.Object
Constructor and Description |
---|
LTLChecker() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
analyse(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log) |
java.lang.Object[] |
analyse(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
LTLModel model) |
protected ParamData |
createDataModel(java.util.List<FormulaParameter> items) |
protected ParamTable |
createParamTable() |
CheckResultObject |
declareMinerFrame(boolean console,
java.util.Hashtable paramTable,
org.deckfour.xes.model.XLog log,
LTLParser parser,
java.util.Vector enabledRules,
boolean firstSuccess,
boolean firstFailure,
boolean skipReady) |
static void |
setLabels(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log) |
public java.lang.Object[] analyse(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, LTLModel model)
public java.lang.Object[] analyse(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log)
public static void setLabels(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log)
public CheckResultObject declareMinerFrame(boolean console, java.util.Hashtable paramTable, org.deckfour.xes.model.XLog log, LTLParser parser, java.util.Vector enabledRules, boolean firstSuccess, boolean firstFailure, boolean skipReady)
protected ParamData createDataModel(java.util.List<FormulaParameter> items)
protected ParamTable createParamTable()