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
