| 67 | |
| 68 | |
| 69 | void |
| 70 | when(Home home, BoolVar x, |
| 71 | std::function<void(Space& home)> t, |
| 72 | std::function<void(Space& home)> e, |
| 73 | IntPropLevel) { |
| 74 | GECODE_POST; |
| 75 | GECODE_ES_FAIL(Int::Exec::When::post(home,x,t,e)); |
| 76 | } |
| 77 | |
| 78 | void |
| 79 | when(Home home, BoolVar x, |