or.hpp File Reference

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