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.