| 42 | namespace Gecode { |
| 43 | |
| 44 | void |
| 45 | precede(Home home, const SetVarArgs& x, int s, int t) { |
| 46 | using namespace Set; |
| 47 | Limits::check(s,"Set::precede"); |
| 48 | Limits::check(t,"Set::precede"); |
| 49 | GECODE_POST; |
| 50 | |
| 51 | ViewArray<SetView> y(home, x); |
| 52 | GECODE_ES_FAIL(Precede::Single<SetView>::post(home, y, s, t)); |
| 53 | } |
| 54 | |
| 55 | void |
| 56 | precede(Home home, const SetVarArgs& x, const IntArgs& c) { |