9.3 IC as a solver for real variables
The IC solver is a hybrid solver which supports both real and integer
- See Chapter 8 for an introduction to IC and how to use
it with integer variables.
- See the IC chapter in the Constraint Library Manual for a full list of
the arithmetic operators which are available for use in IC constraint
IC's real constraints perform bounds propagation in the same way as the
integer versions; indeed, most of the basic integer constraints are
transformed into their real counterparts, plus a declaration of the
integrality of the variables appearing in the constraint.
Real variables may be declared using
non-integer bounds) or just by using them in an IC constraint
- Basic constraints available for real variables are
as well as their reified versions and the reified connectives
- Real constraints also work with integer variables and a mix of integer
and real variables
- Solutions to real constraints can be found using
Figure 9.3: Real variables and constraints
Note that the interval reasoning performed to propagate real bounds is the
same as that used for bounded reals; that is, the inferences made are safe,
taking into account potential floating point errors.