Uses of Class
org.processmining.plugins.ltlchecker.model.LTLModel

Packages that use LTLModel

Package	Description
org.processmining.plugins.ltlchecker
org.processmining.plugins.ltlchecker.declare2ltl
org.processmining.plugins.ltlchecker.importing

Uses of LTLModel in org.processmining.plugins.ltlchecker

Methods in org.processmining.plugins.ltlchecker with parameters of type LTLModel

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)

Uses of LTLModel in org.processmining.plugins.ltlchecker.declare2ltl

Methods in org.processmining.plugins.ltlchecker.declare2ltl that return LTLModel

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)

Uses of LTLModel in org.processmining.plugins.ltlchecker.importing

Methods in org.processmining.plugins.ltlchecker.importing that return LTLModel

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)