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); ///////// Regards, Ruben _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
