<< Prev | - Up - | Next >> |

There are two established schemes for the operational semantics of a propagator. *Domain propagation* narrows the domains of the variables as much as possible; *interval propagation* only narrows the bounds of a domain.

Consider a propagator for the constraint

over a constraint store

Under domain propagation, the propagator can narrow the domains to

Under interval propagation, the propagator can narrow only the domain bounds, which yields

In practice, interval propagation is usually preferable over domain propagation because of its lower computational costs. We will see later that Oz offers for some constraints two propagators, one for interval and one for domain propagation.

<< Prev | - Up - | Next >> |

Christian Schulte and Gert Smolka

Version 1.4.0 (20080702)