Package | Description |
---|---|
org.processmining.plugins.ltlchecker | |
org.processmining.plugins.ltlchecker.declare2ltl | |
org.processmining.plugins.ltlchecker.importing |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
LTLChecker.analyse(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
LTLModel model) |
Modifier and Type | Method and Description |
---|---|
LTLModel |
Declare2ltl.analyse(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap model) |
static LTLModel |
LTLGenerator.generate(org.processmining.plugins.declareminer.visualizing.AssignmentModel model) |
Modifier and Type | Method and Description |
---|---|
protected LTLModel |
LTLModelImportPlugin.importFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input,
java.lang.String filename,
long fileSizeInBytes) |