| 39 | BoolVarImp BoolVarImp::s_zero(0); |
| 40 | |
| 41 | ModEvent |
| 42 | BoolVarImp::one_none(Space& home) { |
| 43 | assert(none()); |
| 44 | bits() ^= (NONE ^ ONE); |
| 45 | assert(one()); |
| 46 | IntDelta d(0); |
| 47 | return notify(home,ME_BOOL_VAL,d); |
| 48 | } |
| 49 | |
| 50 | ModEvent |
| 51 | BoolVarImp::zero_none(Space& home) { |