Generated on Fri Oct 19 11:25:26 2018 for Gecode by doxygen 1.6.3

eqv.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


namespace  Gecode::Int::Bool
 

Boolean propagators.


Defines

#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,
S2   )     ((BVA::S0<<(2*BVA::BITS))|(BVB::S1<<(1*BVB::BITS))|(BVC::S2<<(0*BVC::BITS)))