Hi, On Mon, Nov 17, 2008 at 3:23 PM, Gustavo Gutierrez < [EMAIL PROTECTED]> wrote:
> > :: is used for constraint variables, that is, you can "tell" the domain of > a X variable to be in the range 3 to 9 by using X::3#9. When you have > several constraint variables in a list L, and you want to do the same > without iterating in the list you can use L:::3#9. Sumarizing, :: is for > single constraint variables and ::: is for lists of constraint variables. > The operator ::: may be applied to any *vector* of FD variables. A vector is either a list, or a record. Examples of valid constraints: declare X Y Z L=[X Y Z] R=mydata(x:X y:Y z:Z) %% both statements below are equivalent to X::0#9 Y::0#9 Z::0#9 L ::: 0#9 R ::: 0#9 Cheers, raph
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
