org.processmining.hybrid.plugins.miners.declare

Class HybridExistentialConstraintsUtility

java.lang.Object

org.processmining.hybrid.plugins.miners.declare.HybridExistentialConstraintsUtility

public class HybridExistentialConstraintsUtility
extends java.lang.Object

Copied from the DeclareMiner

Constructor Summary

Constructors

Constructor and Description
HybridExistentialConstraintsUtility()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getAbsenceDisplay(int atMost)
static java.lang.String	getAbsenceTemplate(int atMost)
static java.lang.String	getExistenceDisplay(int atLeast)
static java.lang.String	getExistenceTemplate(int atLeast)
static java.lang.String	getLTLAbsenceFormula(int atMost)
static java.lang.String	getLTLExistenceFormula(int atLeast)

Methods inherited from class java.lang.Object

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

Constructor Detail

HybridExistentialConstraintsUtility

public HybridExistentialConstraintsUtility()

Method Detail

getLTLExistenceFormula

public static java.lang.String getLTLExistenceFormula(int atLeast)

getLTLAbsenceFormula

public static java.lang.String getLTLAbsenceFormula(int atMost)

getExistenceTemplate

public static java.lang.String getExistenceTemplate(int atLeast)

getAbsenceTemplate

public static java.lang.String getAbsenceTemplate(int atMost)

getExistenceDisplay

public static java.lang.String getExistenceDisplay(int atLeast)

getAbsenceDisplay

public static java.lang.String getAbsenceDisplay(int atMost)