Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
int-bin.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::Linear
 Linear propagators
 

Macros

#define GECODE_INT_PV(CASE, TELL, UPDATE)
 

Enumerations

enum  Gecode::Int::Linear::BinMod {
  Gecode::Int::Linear::BM_X0_MIN = 1<<0 , Gecode::Int::Linear::BM_X0_MAX = 1<<1 , Gecode::Int::Linear::BM_X1_MIN = 1<<2 , Gecode::Int::Linear::BM_X1_MAX = 1<<3 ,
  Gecode::Int::Linear::BM_ALL = BM_X0_MIN|BM_X0_MAX|BM_X1_MIN|BM_X1_MAX
}
 Describe which view has been modified how. More...
 

Macro Definition Documentation

◆ GECODE_INT_PV

#define GECODE_INT_PV ( CASE,
TELL,
UPDATE )
Value:
if (bm & (CASE)) { \
bm -= (CASE); ModEvent me = (TELL); \
if (me_failed(me)) return ES_FAILED; \
if (me_modified(me)) bm |= (UPDATE); \
}

Definition at line 179 of file int-bin.hpp.