Package org.jacop.constraints.geost
Class GeostObject.TimeBoundConstraint
- java.lang.Object
-
- org.jacop.constraints.geost.GeostObject.TimeBoundConstraint
-
- Enclosing class:
- GeostObject
public class GeostObject.TimeBoundConstraint extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description TimeBoundConstraint()TODO, is it really needed this constructor?
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanconsistencyDurationGtZero(Store store)It applies constraint enforcing that duration > 0booleanconsistencyStartPlusDurationEqEnd(Store store)It evaluates part of the constraint that ensures that start + duration = endGeostObjectgetCorrespondingObject()It returns the corresponding object for which this time constraint corresponds to.java.lang.StringtoString()
-
-
-
Method Detail
-
consistencyStartPlusDurationEqEnd
public boolean consistencyStartPlusDurationEqEnd(Store store)
It evaluates part of the constraint that ensures that start + duration = end- Parameters:
store- current store- Returns:
- true if some variable was changed, false otherwise
-
consistencyDurationGtZero
public boolean consistencyDurationGtZero(Store store)
It applies constraint enforcing that duration > 0- Parameters:
store- constraint store in which the geost constraint is imposed at.- Returns:
- true if a variable was updated, false otherwise
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
getCorrespondingObject
public final GeostObject getCorrespondingObject()
It returns the corresponding object for which this time constraint corresponds to.- Returns:
- GeostObject to which this time constraint is connected to.
-
-