[gecode-users] posting a reified equality constraint

[Denys Duchier]

Guido Tack <tack at ps.uni-sb.de> 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