2.4 The class OZ_Ct

## 2.4 The class `OZ_Ct`

An instance of this class represents a constraint of a certain constraint system.

`OZ_Ct` [constructor]

  > `OZ_Ct(void);`

  Initializes an instance of this class.

`isValue()` [member function pure virtual]

  > `virtual OZ_Boolean isValue(void) = 0;`

  Returns `OZ_True` if the constraint denotes exactly one value of the domain of the constraint system.

`toValue` [member function pure virtual]

  > `virtual OZ_Term toValue(void) = 0;`

  Returns an Oz value of the value denoted by the constraint. Returned value is only defined if `isValue` yields `OZ_True`.

`isValid` [member function pure virtual]

  > `virtual OZ_Boolean isValid(void) = 0;`

  Returns `OZ_True` if the constraint denotes at least one element of the domain of the constraint system. Otherwise it returns `OZ_False`.

`isWeakerThan` [member function pure virtual]

  > `virtual OZ_Boolean isWeakerThan(OZ_Ct * c) = 0;`

  Returns `OZ_True` if the constraint represented by `*c` subsumes the constraint represented by `*this` instance.

`unify` [member function pure virtual]

  > `virtual OZ_Ct * unify(OZ_Ct * c) = 0;`

  Returns a constraint that approximates all elements of the constraint domain denoted by the constraints `*c` and `*this`.

`unify` [member function pure virtual]

  > `virtual OZ_Boolean unify(OZ_Term t) = 0;`

  Returns `OZ_True` if the value denoted by `t` is included in the values approximated by the constraint.

`sizeOf` [member function pure virtual]

  > `virtual size_t sizeOf(void) = 0;`

  Returns the size of an instance of the class derived `OZ_Ct` (analogue to C's `sizeof` operator).

`getProfile` [member function pure virtual]

  > `virtual OZ_CtProfile * getProfile(void) = 0;`

  Returns a constraint profile (see Section 2.3) according to the constraint.

`getWakeUpDescriptor` [member function pure virtual]

  > `virtual OZ_CtWakeUp getWakeUpDescriptor(OZ_CtProfile * p) = 0;`

  Returns a descriptor for the wake-up lists to be scanned (see Section 2.2). This descriptor is computed by comparing the constraint with the profile `p`. Note the profile is usually taken from the constraint before modifying it.

`toString` [member function pure virtual]

  > `virtual char * toString(int) = 0;`

  Returns a textual representation of the constraint.

`copy` [member function pure virtual]

  > `virtual OZ_Ct * copy(void) = 0;`

  Returns a pointer to a copy of the constraint. The memory for the copy is to be allocated by the operator `OZ_Ct::new`.

`operator new` [static operator member function]

  > `static void * operator new(size_t, int align = sizeof(void
  > *));`

  Allocates memory for an instance of the constraint on the heap of the Oz runtime system.

`operator delete` [static operator member function]

  > `static void operator delete(void *, size_t);`

  Deallocates memory of an instance of the constraint from the heap of the Oz runtime system.