
Go to the source code of this file.
Namespaces | |
| Gecode | |
| Gecode toplevel namespace | |
| Gecode::Int | |
| Finite domain integers. | |
| Gecode::Int::Bool | |
| Boolean propagators. | |
Macros | |
| #define | GECODE_INT_STATUS(S0, S1) ((BVA::S0<<(1*BVA::BITS))|(BVB::S1<<(0*BVB::BITS))) |
| #define GECODE_INT_STATUS | ( | S0, | |
| S1 | |||
| ) | ((BVA::S0<<(1*BVA::BITS))|(BVB::S1<<(0*BVB::BITS))) |