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
