Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
eq.hpp File Reference

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)))
 

Macro Definition Documentation

◆ GECODE_INT_STATUS

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