Hello, I'm reading the "Finite Domain Constraint Programming in Oz" and looking at the SEND + MORE = MONEY example. I have a little bit trouble regarding the exact meaning of :: and ::: operators such as
Root ::: 0#9 X :: 0#9 For example I read X :: 0#9 as "the variable is limited to take values in [0, 1, ..., 9]". However for Root it is not "::" but ":::". Now should I say ":::" is similar to "::" but used for limiting the fields of records? Or does ":::" have more uses, is it more generic than I think, etc? -- Emre Sevinc Lecturer @ Istanbul Bilgi University Computer Science Department Coordinator @ IBM Center for Advanced Studies Lab. http://cs.bilgi.edu.tr http://cas.bilgi.edu.tr/cms/ http://cs.bilgi.edu.tr/~emres/ _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
