38 namespace Gecode {
namespace Int {
namespace Bool {
40 template<
class BVA,
class BVB,
class BVC>
45 template<
class BVA,
class BVB,
class BVC>
50 template<
class BVA,
class BVB,
class BVC>
64 }
else if (b1.zero()) {
71 }
else if (b1.zero()) {
75 (void)
new (home)
Eqv(home,b0,b1,b2);
83 template<
class BVA,
class BVB,
class BVC>
89 template<
class BVA,
class BVB,
class BVC>
92 #define GECODE_INT_STATUS(S0,S1,S2) \
93 ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS)))
94 switch ((x0.status() << (2*BVA::BITS)) | (x1.status() << (1*BVB::BITS)) |
95 (x2.status() << (0*BVC::BITS))) {
152 #undef GECODE_INT_STATUS
165 assert(
x.
size() >= 2);
178 return sizeof(*this);