org.processmining.plugins.declareminer.templates

Class LTLFormula

java.lang.Object

org.processmining.plugins.declareminer.templates.LTLFormula

public class LTLFormula
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
LTLFormula()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getFormulaByTemplate(DeclareTemplate template)

Methods inherited from class java.lang.Object

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

Constructor Detail

LTLFormula

public LTLFormula()

Method Detail

getFormulaByTemplate

public static java.lang.String getFormulaByTemplate(DeclareTemplate template)