Generated on Thu Jul 6 07:06:52 2006 for Gecode by doxygen 1.4.7

ternary.icc File Reference

(Revision: 3246)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Int
namespace  Gecode::Int::Linear

Defines

#define BM_X0_MIN   1
#define BM_X0_MAX   2
#define BM_X1_MIN   4
#define BM_X1_MAX   8
#define BM_X2_MIN   16
#define BM_X2_MAX   32
#define BM_ALL   (BM_X0_MIN|BM_X0_MAX|BM_X1_MIN|BM_X1_MAX|BM_X2_MIN|BM_X2_MAX)
#define PV(CASE, TELL, UPDATE)


Define Documentation

#define BM_X0_MIN   1

Definition at line 109 of file ternary.icc.

#define BM_X0_MAX   2

Definition at line 110 of file ternary.icc.

#define BM_X1_MIN   4

Definition at line 111 of file ternary.icc.

#define BM_X1_MAX   8

Definition at line 112 of file ternary.icc.

#define BM_X2_MIN   16

Definition at line 113 of file ternary.icc.

#define BM_X2_MAX   32

Definition at line 114 of file ternary.icc.

#define BM_ALL   (BM_X0_MIN|BM_X0_MAX|BM_X1_MIN|BM_X1_MAX|BM_X2_MIN|BM_X2_MAX)

Definition at line 115 of file ternary.icc.

#define 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 117 of file ternary.icc.