Ruben Zilibowitz wrote:
> Suppose I have a large number of boolean relations I wish to satisfy. Call
> them B1, B2, ..., Bn.
> Which of the following is the recommended way to implement this in a Gecode
> Space object?
>
> // method 1
> rel(*this,B1);
> rel(*this,B2);
> ...
> rel(*this,Bn);
> /////////
>
> or,
>
> // method 2
> rel(*this, B1 && B2 && ... && Bn);
> /////////
It's exactly the same.
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
