## 2.1 The class `OZ_CtDefinition`

`getKind` [member function pure virtual]

  > `virtual int getKind(void) = 0;`

  Returns an integer identifying a constraint system. The integer value has to be unique for each constraint system. Call `int
  OZ_getUniqueId(void)` to obtain a unique identifier.

`getNoOfWakeUpLists` [member function pure virtual]

  > `virtual int getNoOfWakeUpLists(void) = 0;`

  Returns the numbers of wake-up lists of variables constrained with this kind of constraint. This number corresponds to the number of events which can cause a propagator being imposed on that kind of variable being rerun.

`getNamesOfWakeUpLists` [member function pure virtual]

  > `virtual char ** getNamesOfWakeUpLists(void) = 0;`

  Returns an array (with `getNoOfWakeUpLists()` entries) of strings describing the event(s) associated to the corresponding wake-up list.

`getName` [member function pure virtual]

  > `virtual char * getName(void) = 0;`

  Returns the name of the constraint system. Is used when outputting variables of that kind.

`leastConstraint` [member function pure virtual]

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

  Returns the constraint which is subsumed by or equal to all other constraints of a certain constraint system.

`isValidValue` [member function pure virtual]

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

  Returns `OZ_True` if the Oz value referred to by `t` is a value which is in the domain of the constraint system. Otherwise it returns `OZ_False`.