public class LTLGenerator
extends java.lang.Object
Constructor and Description |
---|
LTLGenerator() |
Modifier and Type | Method and Description |
---|---|
static LTLModel |
generate(org.processmining.plugins.declareminer.visualizing.AssignmentModel model) |
static boolean |
generate(java.lang.String file,
org.processmining.plugins.declareminer.visualizing.AssignmentModel model) |
public static LTLModel generate(org.processmining.plugins.declareminer.visualizing.AssignmentModel model)
public static boolean generate(java.lang.String file, org.processmining.plugins.declareminer.visualizing.AssignmentModel model)