Domains: sets of feasible valuesΒΆ

Constraint Programming consists in reducing sets of feasible solutions to are not compliant with constraints defining a problem. The constraints are dealt with by operators called contractors, presented in the next part of this manual. The sets are called domains, introduced now.

For now, we consider two kinds of domains corresponding to:

  • static variables that do not evolve with time: reals, vectors, matrices;

  • dynamic variables depicting a temporal evolution: trajectories.

The related intervals, boxes and tubes are presented in the following pages:

See also: codac-unsupported.