| 36 | namespace Gecode { |
| 37 | |
| 38 | void |
| 39 | wait(Home home, SetVar x, std::function<void(Space& home)> c) { |
| 40 | GECODE_POST; |
| 41 | GECODE_ES_FAIL(UnaryWait<Set::SetView>::post(home,x,c)); |
| 42 | } |
| 43 | |
| 44 | void |
| 45 | wait(Home home, const SetVarArgs& x, std::function<void(Space& home)> c) { |