Thank you very much, it now works as intended. Great ! I hope i will get along with the documentation, it is hard to find things like tt or eqv or the function how to branch manually or something. I will keep annoying you if i have further questions. Thank you all for the help.
Best regards. Max Guido Tack wrote: > Max wrote: > > >> Furthermore the constraint is never applied. >> >> x(this,3,0,1500) >> >> >> post(this, eqv((x[0] > x[1] + 30), y)); >> > > Sorry, I just realized a problem with this statement... It should > rather read > > post(this, tt( eqv((x[0] > x[1] + 30), y)) ); > > Otherwise, the post statement returns a BoolVar that is constrained to > the truth value of the equivalence. Unfortunately, gcc doesn't warn > about the ignored return value (I don't know about Microsoft cl)! > > Please try again. Btw, you don't have to use status() if you already > use a search engine. Only when you want to trigger propagation > yourself, e.g. to inspect the variable domains after posting all the > constraints. > > Cheers, > Guido > > > _______________________________________________ > Gecode users mailing list > [EMAIL PROTECTED] > https://www.gecode.org/mailman/listinfo/gecode-users > > _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users