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

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


Defines

#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...

Define Documentation

#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.