Guido Tack <[EMAIL PROTECTED]> writes: > post(this, eqv(~(X == k), B));
Thanks! Is there some reason that minimodel.hh does not provide
overloadings such as the one below instead?
Gecode::MiniModel::BoolExpr
operator==(const Gecode::MiniModel::LinRel<Gecode::IntVar>& e,
const Gecode::MiniModel::BoolExpr& b)
{ return eqv(~e,b); }
Cheers,
--Denys
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
