JaCoP.constraints.geost
Class GeostObject.TimeBoundConstraint

java.lang.Object
  JaCoP.constraints.geost.GeostObject.TimeBoundConstraint

Enclosing class:

GeostObject

public class GeostObject.TimeBoundConstraint
extends java.lang.Object

Author:

Marc-Olivier Fleury and Radoslaw Szymanek It contains facility to keep the domain of time variables consistent.

Constructor Summary

GeostObject.TimeBoundConstraint()
TODO, is it really needed this constructor?

Method Summary

boolean	consistencyDurationGtZero(Store store) It applies constraint enforcing that duration > 0
boolean	consistencyStartPlusDurationEqEnd(Store store) It evaluates part of the constraint that ensures that start + duration = end
GeostObject	getCorrespondingObject() It returns the corresponding object for which this time constraint corresponds to.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GeostObject.TimeBoundConstraint

public GeostObject.TimeBoundConstraint()

TODO, is it really needed this constructor?

Method Detail

consistencyStartPlusDurationEqEnd

public boolean consistencyStartPlusDurationEqEnd(Store store)

It evaluates part of the constraint that ensures that start + duration = end

Parameters:

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 class java.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.