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 boolean
consistencyDurationGtZero(Store store)
It applies constraint enforcing that duration > 0boolean
consistencyStartPlusDurationEqEnd(Store store)
It evaluates part of the constraint that ensures that start + duration = endGeostObject
getCorrespondingObject()
It returns the corresponding object for which this time constraint corresponds to.java.lang.String
toString()
-
-
-
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:
toString
in 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.
-
-