[gecode-users] Counting booleans

[Malcolm Ryan]

On 14/02/2008, at 5:45 PM, Mikael Zayenz Lagerkvist wrote:

> On Thu, Feb 14, 2008 at 7:01 AM, Malcolm Ryan <malcolmr at cse.unsw.edu.au 
> > wrote:
>> In answer to my own question, BoolVar extends IntVar, so the standard
>> Gecode.count() methods will work.
>
> Counting BoolVars is slightly overkill, since linear relations work
> equally well.
>
> Also, from Gecode 2.0 BoolVars are no longer IntVars, and there are no
> counting constraints for the new BoolVars (again since that is
> captured by linear relations).

So does it make sense to use Gecode.linear() on a VarArray<BoolVar> in  
2.10?

Malcolm