
1.5. Some more constraints..... 21
1.5 Some more constraints.....
TOY(FD) also provides a set of constraints (not shown in Table 1.2), called reflection
constraints, that allow to recover information about constrained FD variables and their
associated domains during the solving of a goal
EXAMPLE 1.1 The reflection constraints
fd min, fd max :: int → int
applied to a FD variable return respectively the minimum and maximum value of this
FD variable in its current domain).
These constraint are the issue of a further paper and for this reason they will noe be
describe here in detail. The interested reader is encouraged to visit the link proposed
in Fern´andez et al., 2002b for a more detailed explanation (when available as this will
information be published as new constraints appear).
Comentarios a estos manuales