org.processmining.plugins.declare2ltl

Class LTLGenerator

java.lang.Object

org.processmining.plugins.declare2ltl.LTLGenerator

public class LTLGenerator
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
LTLGenerator()

Method Summary

Modifier and Type	Method and Description
static org.processmining.plugins.ltlchecker.model.LTLModel	generate(org.processmining.plugins.declareminer.visualizing.AssignmentModel model)
static boolean	generate(java.lang.String file, org.processmining.plugins.declareminer.visualizing.AssignmentModel model)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LTLGenerator

public LTLGenerator()

Method Detail

generate

public static org.processmining.plugins.ltlchecker.model.LTLModel generate(org.processmining.plugins.declareminer.visualizing.AssignmentModel model)

generate

public static boolean generate(java.lang.String file,
                               org.processmining.plugins.declareminer.visualizing.AssignmentModel model)