[Oz] Domain or Interval.

[Denys Duchier]

sitompul at cs.umn.edu (Donald Sitompul) writes:

> Domain propagator use alot of resources/memory, e.g., FD.modD, in
> comparison to interval propagator.  In what situation we should use
> domain propagator?

Interval propagation only improves the bounds of a domain while domain
propagation may create holes in this domain.  You have to decide
whether being able to infer holes in your domains is advantageous for
your application.  Where you're not sure, you may have to experiment
to see whether it pays off.

Cheers,

-- 
Dr. Denys Duchier			Denys.Duchier at ps.uni-sb.de
Forschungsbereich Programmiersysteme	(Programming Systems Lab)
Universitaet des Saarlandes, Geb. 45	http://www.ps.uni-sb.de/~duchier
Postfach 15 11 50			Phone: +49 681 302 5618
66041 Saarbruecken, Germany		Fax:   +49 681 302 5615
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.