Hi,

I'm slowly working through tutorials on FD's and constraint based programming, working up to a final year degree project next year and there is something I'm not sure I understand fully. I was trying to find details about user defined propagators. I know that you can write your own in C++ but why can't you create one using standard Oz? or can you?

For example, say you have a function {Between X} that returns true if X is between 7 and 10.
Why can't this be used as a constraint? or if you can, how?

If some patient person could explain this a little I would be most grateful (or even just point me to some reference I haven't found yet).

Regards
Mark Richardson
_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to