Denys Duchier wrote:

> rel(*this, element(args,i) == c) doesn't work when args is a sequence of
> boolean variables... and indeed there is not constructor for:
> 
>    LinExpr element(const BoolVarArgs& x, const LinExpr& y);
> 
> an oversight?

Yes, an oversight.  It's in the trunk now and will be part of 3.4.1.

Cheers,
        Guido

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/





_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to