Continuation to be executed
| 82 | } |
| 83 | /// Continuation to be executed |
| 84 | static void c(Gecode::Space& _home) { |
| 85 | TestSpace& home = static_cast<TestSpace&>(_home); |
| 86 | for (int i=0; i<home.x.size(); i++) |
| 87 | for (int j=i+1; j<home.x.size(); j++) |
| 88 | if (home.x[i].val() == home.x[j].val()) |
| 89 | home.fail(); |
| 90 | } |
| 91 | }; |
| 92 | |
| 93 | /// Simple test for wait (Boolean variables) |