Package org.jacop.constraints.geost
Class GeostObject.TimeBoundConstraint
java.lang.Object
org.jacop.constraints.geost.GeostObject.TimeBoundConstraint
- Enclosing class:
GeostObject
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
consistencyDurationGtZero
(Store store) It applies constraint enforcing that duration > 0boolean
It evaluates part of the constraint that ensures that start + duration = endfinal GeostObject
It returns the corresponding object for which this time constraint corresponds to.toString()
-
Constructor Details
-
TimeBoundConstraint
public TimeBoundConstraint()TODO, is it really needed this constructor?
-
-
Method Details
-
consistencyStartPlusDurationEqEnd
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
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
-
getCorrespondingObject
It returns the corresponding object for which this time constraint corresponds to.- Returns:
- GeostObject to which this time constraint is connected to.
-