org.jacop.constraints.geost

Class GeostObject.TimeBoundConstraint

java.lang.Object

org.jacop.constraints.geost.GeostObject.TimeBoundConstraint

Enclosing class:

GeostObject

public class GeostObject.TimeBoundConstraint
extends Object

Author:

Marc-Olivier Fleury and Radoslaw Szymanek

It contains facility to keep the domain of time variables consistent.

Constructor Summary

Constructors

Constructor and Description
TimeBoundConstraint() TODO, is it really needed this constructor?

Method Summary

Modifier and Type	Method and Description
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.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TimeBoundConstraint

public 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 - 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 String toString()

Overrides:

toString in class 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.