[Mozart Oz Users] Directed Search in Spaces?

[Frank Rehberger]

Hello,

I want to implement a search algorithm and would like to use the
space-objects of OZ.

I did read the thesis of Christian Schulte "programming Constraint
Services" but could not find a hint how to control the order, variables
are labeled. And in addition I would like to control search via injecting
new constraints of the form "X :=< Pivot" or "X :> Pivot" for a special
variable X of the sub-space.

{FD.refelct.min X} <= Pivot <= {FD.reflect.max X}

can someone help me?

cu, frank

---------------------------------------------------
 Frank Rehberger <frehberg at cs.tu-berlin.de>
---------------------------------------------------
 "Global order can arise from local interactions."
 [A.Turing, 1952]
---------------------------------------------------
-
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/.