or.icc File Reference
(Revision: 7665)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::Bool |
Classes | |
class | Gecode::Int::Bool::OrTrueSubsumed< BV > |
Binary Boolean disjunction propagator (subsumed). More... | |
Defines | |
#define | GECODE_INT_STATUS(S0, S1) ((BVA::S0<<(1*BVA::BITS))|(BVB::S1<<(0*BVB::BITS))) |
#define | GECODE_INT_STATUS(S0, S1, S2) ((BV::S0<<(2*BV::BITS))|(BV::S1<<(1*BV::BITS))|(BV::S2<<(0*BV::BITS))) |
#define | GECODE_INT_STATUS(S0, S1, S2, S3) |
#define | GECODE_INT_STATUS(S0, S1, S2) ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS))) |
Define Documentation
#define GECODE_INT_STATUS | ( | S0, | |||
S1 | ) | ((BVA::S0<<(1*BVA::BITS))|(BVB::S1<<(0*BVB::BITS))) |
#define GECODE_INT_STATUS | ( | S0, | |||
S1, | |||||
S2 | ) | ((BV::S0<<(2*BV::BITS))|(BV::S1<<(1*BV::BITS))|(BV::S2<<(0*BV::BITS))) |
#define GECODE_INT_STATUS | ( | S0, | |||
S1, | |||||
S2, | |||||
S3 | ) |
Value:
((BV::S0 << (3*BV::BITS)) | (BV::S1 << (2*BV::BITS)) | \ (BV::S2 << (1*BV::BITS)) | (BV::S3 << (0*BV::BITS)))
#define GECODE_INT_STATUS | ( | S0, | |||
S1, | |||||
S2 | ) | ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS))) |