Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1
eqv.hpp File Reference

Go to the source code of this file.

Namespaces

 Gecode::Int
 Finite domain integers.
 
 Gecode::Int::Bool
 Boolean propagators.
 

Macros

#define GECODE_INT_STATUS(S0, S1, S2)    ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS)))
 

Macro Definition Documentation

◆ GECODE_INT_STATUS

#define GECODE_INT_STATUS (   S0,
  S1,
  S2 
)     ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS)))