On 14/02/2008, at 5:45 PM, Mikael Zayenz Lagerkvist wrote: > On Thu, Feb 14, 2008 at 7:01 AM, Malcolm Ryan <[EMAIL PROTECTED] > > 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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
