40 #ifndef __GECODE_INT_BOOL_HH__
41 #define __GECODE_INT_BOOL_HH__
50 namespace Gecode {
namespace Int {
namespace Bool {
58 template<
class BVA,
class BVB>
78 template<
class BVA,
class BVB,
class BVC>
91 BVA b0, BVB
b1, BVC
b2);
104 template<
class BVA,
class BVB>
236 template<
class BVA,
class BVB>
277 BV b0, BV
b1, BV
b2);
310 BV b0, BV
b1, BV
b2, BV b3);
327 template<
class BVA,
class BVB,
class BVC>
354 template<
class VX,
class VY>
423 template<
class BVA,
class BVB,
class BVC>
489 template<
class VX,
class VY>
541 template<
class VX,
class VY>