Constraining variables, whose number in undetermined

[Torsten Anders]

Hi,

I am looking for a way to constraint a list (finally I am going to deal with 
trees / graphs, but a list would be great as a first step). I do not know the 
number of elements before, but the number shall be restricted by constraints. 

To state a simple example: a variable is constrained to be a list of three 
elements, every element is 1. The variable is not known to be a list before 
search.

I can not do this using FD constraints: you need to know the number of 
variables (and hand them to the distribution).

Do I need to define an alternate search mechanism for this (using spaces)? Or 
has anybody already worked on something related.

Thank you
Torsten Anders
-
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/.