void exclude(Gecode::Space& home, CPRelVar A, GRelation r) {
if (home.failed()) return;
if (r.arity() != A.arity())
throw ArityMissmatch("Exclude constraint");
CPRelView a(A);
auto me = a.exclude(home,r);
if (me == Gecode::ES_FAILED) {
home.fail();
}
}
/// Post constraint on \a x
virtual void post(Gecode::Space& home, Gecode::IntVarArray&) {
home.fail();
}
/// Then-function to be executed
static void t(Gecode::Space& home) {
home.fail();
}
