public class Constraint
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
ConstraintFormula |
cf |
java.util.List<TimeMoment> |
TM |
Constructor and Description |
---|
Constraint(ConstraintFormula constraintFormula,
java.util.List<TimeMoment> timeMomentSet) |
Modifier and Type | Method and Description |
---|---|
ConstraintFormula |
getCF() |
java.util.List<TimeMoment> |
getTM() |
public ConstraintFormula cf
public java.util.List<TimeMoment> TM
public Constraint(ConstraintFormula constraintFormula, java.util.List<TimeMoment> timeMomentSet)
public ConstraintFormula getCF()
public java.util.List<TimeMoment> getTM()