Hi, About the reification bit. FD.reified.sum is the stuff to use. You just have to know that Mozart provides some syntactic sugar for it. An FD equation that is used as a term is translated as a reified constraint. For instance,
B = (X =<: Y) reifies the constraint X =< Y, with the boolean value B, which consequently has domain 0#1. Cheers, Raphael On Wed, Feb 24, 2010 at 9:01 PM, Wolfgang Meyer < [email protected]> wrote: > Hi Mark, > I was just testing your example code (before your last message), and it > seemed to work fine with the test data I used. But when I tried different > test data where the same start time appears twice (for scenes A and B), > there was a problem, because then both > Position.A =<: Position B > and > Position.B =<: Position.A > must be true which creates a conflict with > {FD.distinct Position} > > BTW, in case you are wondering how to reify a constraint like X =<: Y, take > a look at FD.reified.sum. > > Cheers, > Wolfgang > > > On Wed, Feb 24, 2010 at 8:34 PM, mark richardson > <[email protected]>wrote: > >> Hi, >> >> Please ignore my last question. I must have changed two things at the same >> time without realising. >> I've just replaced the =<'s with <'s and everything seems to work. >> >> >> Regards >> >> Mark >> >> _________________________________________________________________________________ >> mozart-users mailing list >> [email protected] >> http://www.mozart-oz.org/mailman/listinfo/mozart-users >> > > > > _________________________________________________________________________________ > mozart-users mailing list > [email protected] > http://www.mozart-oz.org/mailman/listinfo/mozart-users >
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
