public class ExistentialConstraintsUtility
extends java.lang.Object
Constructor and Description |
---|
ExistentialConstraintsUtility() |
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) |
public static java.lang.String getLTLExistenceFormula(int atLeast)
public static java.lang.String getLTLAbsenceFormula(int atMost)
public static java.lang.String getExistenceTemplate(int atLeast)
public static java.lang.String getAbsenceTemplate(int atMost)
public static java.lang.String getExistenceDisplay(int atLeast)
public static java.lang.String getAbsenceDisplay(int atMost)