Generated on Fri Mar 20 15:56:28 2015 for Gecode by doxygen 1.6.3

or.hpp File Reference

(Revision: 13071)

Go to the source code of this file.

Classes

class  Gecode::Int::Bool::OrTrueSubsumed< BV >
 Binary Boolean disjunction propagator (subsumed). More...

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