public class ExistentialConstraint
extends java.lang.Object
Constructor and Description |
---|
ExistentialConstraint(java.lang.String activity,
java.lang.String ltlFormula,
java.lang.String templateName,
java.lang.String display) |
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) |
public ExistentialConstraint(java.lang.String activity, java.lang.String ltlFormula, java.lang.String templateName, java.lang.String display)
public java.lang.String getActivity()
public void setActivity(java.lang.String activity)
public java.lang.String getLtlFormula()
public void setLtlFormula(java.lang.String ltlFormula)
public java.lang.String getTemplateName()
public void setTemplateName(java.lang.String templateName)
public java.lang.String getDisplay()
public void setDisplay(java.lang.String display)