| 94 | : _s(s), _x(x), _irt(irt) {} |
| 95 | |
| 96 | void |
| 97 | SetIRTRel::post(Home home, BoolVar b, bool neg, |
| 98 | const IntPropLevels& ipls) { |
| 99 | if (b.zero()) { |
| 100 | rel(home, _s.post(home), neg ? _irt : Gecode::neg(_irt), |
| 101 | _x.post(home, ipls)); |
| 102 | } else if (b.one()) { |
| 103 | rel(home, _s.post(home), neg ? Gecode::neg(_irt) : _irt, |
| 104 | _x.post(home, ipls)); |
| 105 | } else { |
| 106 | rel(home, _s.post(home), neg ? Gecode::neg(_irt) : _irt, |
| 107 | _x.post(home, ipls), b); |
| 108 | } |
| 109 | } |
| 110 | } |
| 111 | |
| 112 |