org.processmining.hybrid.plugins.miners.declare

Class HybridExistentialConstraint

java.lang.Object

org.processmining.hybrid.plugins.miners.declare.HybridExistentialConstraint

public class HybridExistentialConstraint
extends java.lang.Object

Copied from the DeclareMiner

Constructor Summary

Constructors

Constructor and Description
HybridExistentialConstraint(java.lang.String activity, java.lang.String ltlFormula, java.lang.String templateName, java.lang.String display)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getActivity()
java.lang.String	getDisplay()
java.lang.String	getLtlFormula()
java.lang.String	getTemplateName()
void	setActivity(java.lang.String activity)
void	setDisplay(java.lang.String display)
void	setLtlFormula(java.lang.String ltlFormula)
void	setTemplateName(java.lang.String templateName)

Methods inherited from class java.lang.Object

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

Constructor Detail

HybridExistentialConstraint

public HybridExistentialConstraint(java.lang.String activity,
                                   java.lang.String ltlFormula,
                                   java.lang.String templateName,
                                   java.lang.String display)

Method Detail

getActivity

public java.lang.String getActivity()

setActivity

public void setActivity(java.lang.String activity)

getLtlFormula

public java.lang.String getLtlFormula()

setLtlFormula

public void setLtlFormula(java.lang.String ltlFormula)

getTemplateName

public java.lang.String getTemplateName()

setTemplateName

public void setTemplateName(java.lang.String templateName)

getDisplay

public java.lang.String getDisplay()

setDisplay

public void setDisplay(java.lang.String display)