org.jacop.constraints.geost

Class GeostObject

java.lang.Object

org.jacop.constraints.geost.GeostObject

public class GeostObject
extends Object

Version:

4.9

It contains all information about the Geost object as well as functionality to maintain the consistency among time variables.

Author:

Marc-Olivier Fleury and Radoslaw Szymanek

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	GeostObject.TimeBoundConstraint

Field Summary

Fields

Modifier and Type	Field and Description
IntVar[]	coords It specifies the coordinates in k-dimensional space at which the object is fixed.
int	dimension It specifies the number of dimensions in this object.
IntVar	duration It specifies the duration time of this object.
IntVar	end It specifies the end time of this object.
int	no A unique identifier greater or equal to 0.
IntVar	shapeID It specifies the possible shape ids to be taken by this object.
IntVar	start It specifies the start time of this object in time dimension.
ArrayList<Var>	variables It stores all finite domain variables in connection to this object.

Constructor Summary

Constructors

Constructor and Description
GeostObject(int no, IntVar[] coords, IntVar shapeID, IntVar start, IntVar duration, IntVar end) It constructs a Geost object with all the attributes needed by the Geost constraint.

Method Summary

Modifier and Type	Method and Description
Collection<Var>	getVariables() It returns finite domain variables which belong to this object.
boolean	isGrounded() It checks whether the object location is fixed.
void	onGround(Var variable) It is executed as soon as any object variable is grounded.
void	onUnGround(Var variable) It is executed as soon as backtracking has occurred making previously grounded variable ungrounded again.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

no

public final int no

A unique identifier greater or equal to 0. The last object supplied to GeostConstraint should have an identifier equal to n-1, where n is the total number of objects.

dimension

public final int dimension

It specifies the number of dimensions in this object.

coords

public final IntVar[] coords

It specifies the coordinates in k-dimensional space at which the object is fixed. It is the origin of the object. The actual starting point of the object depends at the end also on the shape used by the object or in particular the origins of the boxes which constitutes the shape.

shapeID

public final IntVar shapeID

It specifies the possible shape ids to be taken by this object.

start

public final IntVar start

It specifies the start time of this object in time dimension.

duration

public final IntVar duration

It specifies the duration time of this object.

end

public final IntVar end

It specifies the end time of this object.

variables

public final ArrayList<Var> variables

It stores all finite domain variables in connection to this object. E.g. shape variables are one of the objects in the focus of the constraint.

Constructor Detail

GeostObject

public GeostObject(int no,
                   IntVar[] coords,
                   IntVar shapeID,
                   IntVar start,
                   IntVar duration,
                   IntVar end)

It constructs a Geost object with all the attributes needed by the Geost constraint.

Parameters:

no - nonnegative unique id of this object.

coords - an array of variables representing the origin (start) of the objects.

shapeID - the variable specifying the shape finite domain variable.

start - it determines the start time of the geost object in terms of time.

duration - finite domain variable specifying the duration of the geost object in terms of time.

end - finite domain variable specifying the end of the geost object in terms of time.

Method Detail

getVariables

public Collection<Var> getVariables()

It returns finite domain variables which belong to this object.

Returns:

variables that constitute this object.

onGround

public final void onGround(Var variable)

It is executed as soon as any object variable is grounded.

Parameters:

variable - variable being grounded.

onUnGround

public final void onUnGround(Var variable)

It is executed as soon as backtracking has occurred making previously grounded variable ungrounded again.

Parameters:

variable - variable being ungrounded.

isGrounded

public final boolean isGrounded()

It checks whether the object location is fixed.

Returns:

true if the object location is fixed, false otherwise.

toString

public String toString()

Overrides:

toString in class Object