Re: [gecode-users] posting a reified equality constraint

[Denys Duchier]

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