OZ_FDIntVar(void);

This constructor creates an uninitialised instance of the class OZ_FDIntVar, which can be initialised later by the member functions ask(), read(), or readEncap().

OZ_FDIntVar(OZ_Term v);

This constructor creates an instance of class OZ_FDIntVar and initialises it using read().

static void * operator new(size_t);

This operator allocates memory for a single instance of class OZ_FDIntVar. This operator must only be used inside the function propagate() of class OZ_Propagator. The allocated memory is automatically reclaimed when propagate() is left.

static void * operator new[](size_t);

This operator allocates memory for an array of instances of OZ_FDIntVar. This operator must only be used inside the function propagate() of class OZ_Propagator. The allocated memory is automatically reclaimed when propagate() is left.

static void operator delete(void *, size_t);

This operator is a dummy since reclaiming memory happens automatically.

static void operator delete[](void *, size_t);

This operator is a dummy since reclaiming memory happens automatically.

OZ_FiniteDomain &operator * (void);

This operator returns a finite domain representing the constraint of this variable.

OZ_FiniteDomain * operator -> (void);

This operator returns a pointer to a finite domain representing the constraint of this variable.

OZ_Boolean isTouched(void) const;

This function returns OZ_TRUE if at least one element has been removed from the domain and otherwise OZ_FALSE.

void ask(OZ_Term);

This member function initialises an instance of OZ_FDIntVar for only reading constraints from the store and it does not require a call of leave() or fail().

int read(OZ_Term);

This member function initialises an instance of OZ_FDIntVar for constraints to be read from and to be written to the constraint store. It returns the size of the domain. Using this function requires to call either leave() or fail() when leaving the member function propagate() of class OZ_Propagator.

int readEncap(OZ_Term);

This member function initialises an instance of OZ_FDIntVar for constraints to be read from the constraint store and to perform encapsulated constraint propagation as required by reified constraint propagators. It returns the size of the domain. Using this function requires to call either leave() or fail() when leaving the member function OZ_Propagator::propagate(). For further details see Section 1.7.3 of ``The Mozart Constraint Extensions Tutorial''.

OZ_Boolean leave(void);

This member function has to be applied to each object of type OZ_FDIntVar when leaving the function propagate() of class OZ_Propagator and no inconsistency was detected (except it was initialised with ask()). This member function returns OZ_FALSE if the domain denotes a singleton. Otherwise it returns OZ_TRUE.

void fail(void);

This member function has to be applied to each object of type OZ_FDIntVar when leaving the function propagate() of class OZ_Propagator and inconsistency was detected (except it was initialised with ask()).

void dropParameter(void);

This member function removes the parameter associated with *this from the parameter set of the current propagator. This function takes care of multiple occurrences of a single variable as parameter, i.e., a parameter is removed if there is only one occurrence of the corresponding variable in the set of parameter left.