public class Declare2ltl
extends java.lang.Object
Constructor and Description |
---|
Declare2ltl() |
Modifier and Type | Method and Description |
---|---|
LTLModel |
analyse(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap model) |
public LTLModel analyse(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap model)