diff --git a/library/gecode/4.2.0/gecode_yap_auto_generated.yap b/library/gecode/4.2.0/gecode_yap_auto_generated.yap index 887e81ebf..53475423e 100644 --- a/library/gecode/4.2.0/gecode_yap_auto_generated.yap +++ b/library/gecode/4.2.0/gecode_yap_auto_generated.yap @@ -171,7 +171,7 @@ unary(X0,X1,X2,X3,X4,X5) :- -> (is_IntArgs(X3,Y3) -> (is_BoolVarArgs(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_unary_448(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_unary_454(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4,X5),arg=4))) @@ -181,7 +181,7 @@ unary(X0,X1,X2,X3,X4,X5) :- -> (is_IntVarArgs(X3,Y3) -> (is_BoolVarArgs(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_unary_444(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_unary_450(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4,X5),arg=4))) @@ -195,11 +195,11 @@ nvalues(X0,X1,X2,X3,X4) :- -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_nvalues_335(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_nvalues_341(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=5))) ; (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_nvalues_337(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_nvalues_343(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=3))) @@ -207,11 +207,11 @@ nvalues(X0,X1,X2,X3,X4) :- -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_nvalues_331(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_nvalues_337(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=5))) ; (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_nvalues_333(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_nvalues_339(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3,X4),arg=3))) @@ -223,25 +223,25 @@ max(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_max_292(Y0,Y1,Y2,Y3) + -> gecode_constraint_max_298(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntConLevel(X3,Y3) - -> gecode_constraint_max_290(Y0,Y1,Y2,Y3) + -> gecode_constraint_max_296(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_FloatVar(X2,Y2) -> (is_FloatVar(X3,Y3) - -> gecode_constraint_max_291(Y0,Y1,Y2,Y3) + -> gecode_constraint_max_297(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=3))) ; (is_SetVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_Reify(X3,Y3) - -> gecode_constraint_max_295(Y0,Y1,Y2,Y3) + -> gecode_constraint_max_301(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(max(X0,X1,X2,X3),arg=2)))))) @@ -287,7 +287,7 @@ nooverlap(X0,X1,X2,X3,X4) :- -> (is_IntArgs(X2,Y2) -> (is_IntVarArgs(X3,Y3) -> (is_IntArgs(X4,Y4) - -> gecode_constraint_nooverlap_319(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_nooverlap_325(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4),arg=3))) @@ -377,7 +377,7 @@ element(X0,X1,X2,X3) :- sequence(X0,X1) :- (is_Space_or_Clause(X0,Y0) -> (is_SetVarArgs(X1,Y1) - -> gecode_constraint_sequence_427(Y0,Y1) + -> gecode_constraint_sequence_433(Y0,Y1) ; throw(gecode_argument_error(sequence(X0,X1),arg=2))) ; throw(gecode_argument_error(sequence(X0,X1),arg=1))). @@ -385,7 +385,7 @@ notMax(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_SetVar(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_notMax_325(Y0,Y1,Y2) + -> gecode_constraint_notMax_331(Y0,Y1,Y2) ; throw(gecode_argument_error(notMax(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(notMax(X0,X1,X2),arg=2))) ; throw(gecode_argument_error(notMax(X0,X1,X2),arg=1))). @@ -396,7 +396,7 @@ ite(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntVar(X4,Y4) - -> gecode_constraint_ite_246(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_ite_252(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(ite(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(ite(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(ite(X0,X1,X2,X3,X4),arg=3))) @@ -407,7 +407,7 @@ unary(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) -> (is_IntArgs(X2,Y2) - -> gecode_constraint_unary_441(Y0,Y1,Y2) + -> gecode_constraint_unary_447(Y0,Y1,Y2) ; throw(gecode_argument_error(unary(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(unary(X0,X1,X2),arg=2))) ; throw(gecode_argument_error(unary(X0,X1,X2),arg=1))). @@ -418,7 +418,7 @@ nroot(X0,X1,X2,X3,X4) :- -> (is_int(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_nroot_329(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_nroot_335(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3,X4),arg=3))) @@ -537,9 +537,9 @@ nooverlap(X0,X1,X2,X3,X4,X5,X6,X7) :- -> (is_IntVarArgs(X5,Y5) -> (is_IntVarArgs(X6,Y6) -> (is_BoolVarArgs(X7,Y7) - -> gecode_constraint_nooverlap_321(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) + -> gecode_constraint_nooverlap_327(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) ; (is_IntConLevel(X7,Y7) - -> gecode_constraint_nooverlap_324(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) + -> gecode_constraint_nooverlap_330(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6,X7),arg=8)))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6,X7),arg=7))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6,X7),arg=6))) @@ -620,15 +620,15 @@ max(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_FloatVarArgs(X1,Y1) -> (is_FloatVar(X2,Y2) - -> gecode_constraint_max_288(Y0,Y1,Y2) + -> gecode_constraint_max_294(Y0,Y1,Y2) ; throw(gecode_argument_error(max(X0,X1,X2),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_max_289(Y0,Y1,Y2) + -> gecode_constraint_max_295(Y0,Y1,Y2) ; throw(gecode_argument_error(max(X0,X1,X2),arg=3))) ; (is_SetVar(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_max_294(Y0,Y1,Y2) + -> gecode_constraint_max_300(Y0,Y1,Y2) ; throw(gecode_argument_error(max(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(max(X0,X1,X2),arg=2))))) ; throw(gecode_argument_error(max(X0,X1,X2),arg=1))). @@ -636,9 +636,9 @@ max(X0,X1,X2) :- unshare(X0,X1) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) - -> gecode_constraint_unshare_453(Y0,Y1) + -> gecode_constraint_unshare_459(Y0,Y1) ; (is_BoolVarArgs(X1,Y1) - -> gecode_constraint_unshare_451(Y0,Y1) + -> gecode_constraint_unshare_457(Y0,Y1) ; throw(gecode_argument_error(unshare(X0,X1),arg=2)))) ; throw(gecode_argument_error(unshare(X0,X1),arg=1))). @@ -648,7 +648,7 @@ path(X0,X1,X2,X3,X4) :- -> (is_IntVarArgs(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntVar(X4,Y4) - -> gecode_constraint_path_348(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_path_354(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4),arg=3))) @@ -656,7 +656,7 @@ path(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_path_347(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_path_353(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4),arg=3))) @@ -709,13 +709,13 @@ mult(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_mult_315(Y0,Y1,Y2,Y3) + -> gecode_constraint_mult_321(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(mult(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(mult(X0,X1,X2,X3),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_FloatVar(X2,Y2) -> (is_FloatVar(X3,Y3) - -> gecode_constraint_mult_314(Y0,Y1,Y2,Y3) + -> gecode_constraint_mult_320(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(mult(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(mult(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(mult(X0,X1,X2,X3),arg=2)))) @@ -746,7 +746,7 @@ precede(X0,X1,X2,X3,X4) :- -> (is_int(X2,Y2) -> (is_int(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_precede_356(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_precede_362(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(precede(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(precede(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(precede(X0,X1,X2,X3,X4),arg=3))) @@ -765,17 +765,17 @@ member(X0,X1,X2,X3) :- -> (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_Reify(X3,Y3) - -> gecode_constraint_member_302(Y0,Y1,Y2,Y3) + -> gecode_constraint_member_308(Y0,Y1,Y2,Y3) ; (is_IntConLevel(X3,Y3) - -> gecode_constraint_member_301(Y0,Y1,Y2,Y3) + -> gecode_constraint_member_307(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(member(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(member(X0,X1,X2,X3),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_BoolVar(X2,Y2) -> (is_Reify(X3,Y3) - -> gecode_constraint_member_298(Y0,Y1,Y2,Y3) + -> gecode_constraint_member_304(Y0,Y1,Y2,Y3) ; (is_IntConLevel(X3,Y3) - -> gecode_constraint_member_297(Y0,Y1,Y2,Y3) + -> gecode_constraint_member_303(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(member(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(member(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(member(X0,X1,X2,X3),arg=2)))) @@ -787,7 +787,7 @@ mod(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_mod_313(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_mod_319(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(mod(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(mod(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(mod(X0,X1,X2,X3,X4),arg=3))) @@ -821,30 +821,51 @@ channelSorted(X0,X1,X2) :- ; throw(gecode_argument_error(channelSorted(X0,X1,X2),arg=2))) ; throw(gecode_argument_error(channelSorted(X0,X1,X2),arg=1))). +extensional(X0,X1,X2,X3,X4) :- + (is_Space_or_Clause(X0,Y0) + -> (is_IntVarArgs(X1,Y1) + -> (is_TupleSet(X2,Y2) + -> (is_ExtensionalPropKind(X3,Y3) + -> (is_IntConLevel(X4,Y4) + -> gecode_constraint_extensional_251(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=5))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=4))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=3))) + ; (is_BoolVarArgs(X1,Y1) + -> (is_TupleSet(X2,Y2) + -> (is_ExtensionalPropKind(X3,Y3) + -> (is_IntConLevel(X4,Y4) + -> gecode_constraint_extensional_248(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=5))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=4))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=3))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=2)))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3,X4),arg=1))). + linear(X0,X1,X2,X3) :- (is_Space_or_Clause(X0,Y0) -> (is_FloatVarArgs(X1,Y1) -> (is_FloatRelType(X2,Y2) -> (is_FloatVar(X3,Y3) - -> gecode_constraint_linear_262(Y0,Y1,Y2,Y3) + -> gecode_constraint_linear_268(Y0,Y1,Y2,Y3) ; (is_FloatNum(X3,Y3) - -> gecode_constraint_linear_260(Y0,Y1,Y2,Y3) + -> gecode_constraint_linear_266(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_linear_248(Y0,Y1,Y2,Y3) + -> gecode_constraint_linear_254(Y0,Y1,Y2,Y3) ; (is_IntVar(X3,Y3) - -> gecode_constraint_linear_252(Y0,Y1,Y2,Y3) + -> gecode_constraint_linear_258(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_linear_280(Y0,Y1,Y2,Y3) + -> gecode_constraint_linear_286(Y0,Y1,Y2,Y3) ; (is_IntVar(X3,Y3) - -> gecode_constraint_linear_284(Y0,Y1,Y2,Y3) + -> gecode_constraint_linear_290(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3),arg=2))))) @@ -863,11 +884,11 @@ rel(X0,X1,X2,X3,X4) :- -> (is_FloatRelType(X2,Y2) -> (is_FloatVal(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_396(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_402(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_FloatVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_398(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_404(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3))) @@ -875,13 +896,13 @@ rel(X0,X1,X2,X3,X4) :- -> (is_SetVarArgs(X2,Y2) -> (is_IntSet(X3,Y3) -> (is_SetVar(X4,Y4) - -> gecode_constraint_rel_412(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_418(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4))) ; (is_IntVarArgs(X2,Y2) -> (is_IntSet(X3,Y3) -> (is_SetVar(X4,Y4) - -> gecode_constraint_rel_410(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_416(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3)))) @@ -889,15 +910,15 @@ rel(X0,X1,X2,X3,X4) :- -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_382(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_388(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_BoolVarArgs(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_378(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_384(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_BoolVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_376(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_382(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4))))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3))) @@ -905,23 +926,23 @@ rel(X0,X1,X2,X3,X4) :- -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_373(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_379(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_372(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_378(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5)))) ; (is_BoolVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_369(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_375(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_368(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_374(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4)))) ; (is_BoolOpType(X2,Y2) -> (is_BoolVar(X3,Y3) -> (is_int(X4,Y4) - -> gecode_constraint_rel_365(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_371(Y0,Y1,Y2,Y3,Y4) ; (is_BoolVar(X4,Y4) - -> gecode_constraint_rel_363(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_369(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3)))) @@ -929,15 +950,15 @@ rel(X0,X1,X2,X3,X4) :- -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_392(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_398(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_394(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_400(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_IntVarArgs(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_388(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_394(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4))))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3))) @@ -945,21 +966,21 @@ rel(X0,X1,X2,X3,X4) :- -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_401(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_407(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_400(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_406(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5)))) ; (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_405(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_411(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_404(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_410(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4)))) ; (is_SetRelType(X2,Y2) -> (is_SetVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_409(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_415(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3)))) @@ -967,11 +988,11 @@ rel(X0,X1,X2,X3,X4) :- -> (is_SetRelType(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_420(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_426(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_SetVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_rel_422(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_428(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3))) @@ -979,11 +1000,11 @@ rel(X0,X1,X2,X3,X4) :- -> (is_BoolVarArgs(X2,Y2) -> (is_int(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_362(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_368(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; (is_BoolVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_rel_360(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_rel_366(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4),arg=3))) @@ -995,25 +1016,25 @@ min(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_min_308(Y0,Y1,Y2,Y3) + -> gecode_constraint_min_314(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntConLevel(X3,Y3) - -> gecode_constraint_min_306(Y0,Y1,Y2,Y3) + -> gecode_constraint_min_312(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_FloatVar(X2,Y2) -> (is_FloatVar(X3,Y3) - -> gecode_constraint_min_307(Y0,Y1,Y2,Y3) + -> gecode_constraint_min_313(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=3))) ; (is_SetVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_Reify(X3,Y3) - -> gecode_constraint_min_311(Y0,Y1,Y2,Y3) + -> gecode_constraint_min_317(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(min(X0,X1,X2,X3),arg=2)))))) @@ -1063,11 +1084,11 @@ sqrt(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_sqrt_437(Y0,Y1,Y2) + -> gecode_constraint_sqrt_443(Y0,Y1,Y2) ; throw(gecode_argument_error(sqrt(X0,X1,X2),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_FloatVar(X2,Y2) - -> gecode_constraint_sqrt_436(Y0,Y1,Y2) + -> gecode_constraint_sqrt_442(Y0,Y1,Y2) ; throw(gecode_argument_error(sqrt(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(sqrt(X0,X1,X2),arg=2)))) ; throw(gecode_argument_error(sqrt(X0,X1,X2),arg=1))). @@ -1170,17 +1191,17 @@ nvalues(X0,X1,X2,X3) :- -> (is_IntVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_nvalues_334(Y0,Y1,Y2,Y3) + -> gecode_constraint_nvalues_340(Y0,Y1,Y2,Y3) ; (is_IntVar(X3,Y3) - -> gecode_constraint_nvalues_336(Y0,Y1,Y2,Y3) + -> gecode_constraint_nvalues_342(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_nvalues_330(Y0,Y1,Y2,Y3) + -> gecode_constraint_nvalues_336(Y0,Y1,Y2,Y3) ; (is_IntVar(X3,Y3) - -> gecode_constraint_nvalues_332(Y0,Y1,Y2,Y3) + -> gecode_constraint_nvalues_338(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(nvalues(X0,X1,X2,X3),arg=2)))) @@ -1205,13 +1226,13 @@ linear(X0,X1,X2,X3,X4,X5,X6) :- -> (is_int(X4,Y4) -> (is_Reify(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_linear_275(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_linear_281(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; (is_IntVar(X4,Y4) -> (is_Reify(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_linear_279(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_linear_285(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=5)))) @@ -1221,13 +1242,13 @@ linear(X0,X1,X2,X3,X4,X5,X6) :- -> (is_int(X4,Y4) -> (is_Reify(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_linear_267(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_linear_273(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; (is_IntVar(X4,Y4) -> (is_Reify(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_linear_271(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_linear_277(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5,X6),arg=5)))) @@ -1278,13 +1299,13 @@ rel(X0,X1,X2,X3,X4,X5) :- -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_rel_402(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_408(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_rel_406(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_412(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=4)))) @@ -1294,9 +1315,9 @@ rel(X0,X1,X2,X3,X4,X5) :- -> (is_SetVar(X3,Y3) -> (is_SetRelType(X4,Y4) -> (is_IntSet(X5,Y5) - -> gecode_constraint_rel_385(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_391(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_SetVar(X5,Y5) - -> gecode_constraint_rel_386(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_392(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=4))) @@ -1306,13 +1327,13 @@ rel(X0,X1,X2,X3,X4,X5) :- -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_rel_374(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_380(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; (is_BoolVar(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_rel_370(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_376(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=4)))) @@ -1320,11 +1341,11 @@ rel(X0,X1,X2,X3,X4,X5) :- -> (is_BoolVar(X3,Y3) -> (is_int(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_rel_366(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_372(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6))) ; (is_BoolVar(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_rel_364(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_370(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=4))) @@ -1334,17 +1355,17 @@ rel(X0,X1,X2,X3,X4,X5) :- -> (is_IntSet(X3,Y3) -> (is_SetRelType(X4,Y4) -> (is_IntSet(X5,Y5) - -> gecode_constraint_rel_415(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_421(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_SetVar(X5,Y5) - -> gecode_constraint_rel_416(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_422(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; (is_SetVar(X3,Y3) -> (is_SetRelType(X4,Y4) -> (is_IntSet(X5,Y5) - -> gecode_constraint_rel_417(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_423(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_SetVar(X5,Y5) - -> gecode_constraint_rel_418(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_rel_424(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=6)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3,X4,X5),arg=4)))) @@ -1358,7 +1379,7 @@ weights(X0,X1,X2,X3,X4) :- -> (is_IntArgs(X2,Y2) -> (is_SetVar(X3,Y3) -> (is_IntVar(X4,Y4) - -> gecode_constraint_weights_455(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_weights_461(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(weights(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(weights(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(weights(X0,X1,X2,X3,X4),arg=3))) @@ -1371,7 +1392,7 @@ max(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_max_293(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_max_299(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(max(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(max(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(max(X0,X1,X2,X3,X4),arg=3))) @@ -1388,7 +1409,7 @@ path(X0,X1,X2,X3,X4,X5,X6,X7,X8) :- -> (is_IntVarArgs(X6,Y6) -> (is_IntVar(X7,Y7) -> (is_IntConLevel(X8,Y8) - -> gecode_constraint_path_343(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8) + -> gecode_constraint_path_349(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7,X8),arg=9))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7,X8),arg=8))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7,X8),arg=7))) @@ -1404,19 +1425,19 @@ unary(X0,X1,X2,X3) :- -> (is_TaskTypeArgs(X1,Y1) -> (is_IntVarArgs(X2,Y2) -> (is_IntArgs(X3,Y3) - -> gecode_constraint_unary_449(Y0,Y1,Y2,Y3) + -> gecode_constraint_unary_455(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(unary(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntVarArgs(X2,Y2) -> (is_IntVarArgs(X3,Y3) - -> gecode_constraint_unary_445(Y0,Y1,Y2,Y3) + -> gecode_constraint_unary_451(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(unary(X0,X1,X2,X3),arg=4))) ; (is_IntArgs(X2,Y2) -> (is_BoolVarArgs(X3,Y3) - -> gecode_constraint_unary_439(Y0,Y1,Y2,Y3) + -> gecode_constraint_unary_445(Y0,Y1,Y2,Y3) ; (is_IntConLevel(X3,Y3) - -> gecode_constraint_unary_442(Y0,Y1,Y2,Y3) + -> gecode_constraint_unary_448(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(unary(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3),arg=3)))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3),arg=2)))) @@ -1427,13 +1448,13 @@ nroot(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_int(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_nroot_328(Y0,Y1,Y2,Y3) + -> gecode_constraint_nroot_334(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_int(X2,Y2) -> (is_FloatVar(X3,Y3) - -> gecode_constraint_nroot_327(Y0,Y1,Y2,Y3) + -> gecode_constraint_nroot_333(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(nroot(X0,X1,X2,X3),arg=2)))) @@ -1445,7 +1466,7 @@ sorted(X0,X1,X2,X3,X4) :- -> (is_IntVarArgs(X2,Y2) -> (is_IntVarArgs(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_sorted_430(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_sorted_436(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(sorted(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(sorted(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(sorted(X0,X1,X2,X3,X4),arg=3))) @@ -1635,11 +1656,11 @@ rel(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) - -> gecode_constraint_rel_389(Y0,Y1,Y2) + -> gecode_constraint_rel_395(Y0,Y1,Y2) ; throw(gecode_argument_error(rel(X0,X1,X2),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) - -> gecode_constraint_rel_379(Y0,Y1,Y2) + -> gecode_constraint_rel_385(Y0,Y1,Y2) ; throw(gecode_argument_error(rel(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(rel(X0,X1,X2),arg=2)))) ; throw(gecode_argument_error(rel(X0,X1,X2),arg=1))). @@ -1649,7 +1670,7 @@ path(X0,X1,X2,X3) :- -> (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_path_346(Y0,Y1,Y2,Y3) + -> gecode_constraint_path_352(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(path(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(path(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(path(X0,X1,X2,X3),arg=2))) @@ -1714,7 +1735,7 @@ mult(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_mult_316(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_mult_322(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(mult(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(mult(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(mult(X0,X1,X2,X3,X4),arg=3))) @@ -1768,17 +1789,17 @@ precede(X0,X1,X2,X3) :- -> (is_SetVarArgs(X1,Y1) -> (is_int(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_precede_358(Y0,Y1,Y2,Y3) + -> gecode_constraint_precede_364(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(precede(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(precede(X0,X1,X2,X3),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_int(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_precede_355(Y0,Y1,Y2,Y3) + -> gecode_constraint_precede_361(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(precede(X0,X1,X2,X3),arg=4))) ; (is_IntArgs(X2,Y2) -> (is_IntConLevel(X3,Y3) - -> gecode_constraint_precede_354(Y0,Y1,Y2,Y3) + -> gecode_constraint_precede_360(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(precede(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(precede(X0,X1,X2,X3),arg=3)))) ; throw(gecode_argument_error(precede(X0,X1,X2,X3),arg=2)))) @@ -1891,7 +1912,7 @@ member(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_Reify(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_member_303(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_member_309(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(member(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(member(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(member(X0,X1,X2,X3,X4),arg=3))) @@ -1899,7 +1920,7 @@ member(X0,X1,X2,X3,X4) :- -> (is_BoolVar(X2,Y2) -> (is_Reify(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_member_299(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_member_305(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(member(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(member(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(member(X0,X1,X2,X3,X4),arg=3))) @@ -1911,7 +1932,7 @@ mod(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_mod_312(Y0,Y1,Y2,Y3) + -> gecode_constraint_mod_318(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(mod(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(mod(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(mod(X0,X1,X2,X3),arg=2))) @@ -1921,11 +1942,11 @@ sqr(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_sqr_434(Y0,Y1,Y2) + -> gecode_constraint_sqr_440(Y0,Y1,Y2) ; throw(gecode_argument_error(sqr(X0,X1,X2),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_FloatVar(X2,Y2) - -> gecode_constraint_sqr_433(Y0,Y1,Y2) + -> gecode_constraint_sqr_439(Y0,Y1,Y2) ; throw(gecode_argument_error(sqr(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(sqr(X0,X1,X2),arg=2)))) ; throw(gecode_argument_error(sqr(X0,X1,X2),arg=1))). @@ -1938,7 +1959,7 @@ sequence(X0,X1,X2,X3,X4,X5,X6) :- -> (is_int(X4,Y4) -> (is_int(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_sequence_426(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_sequence_432(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5,X6),arg=5))) @@ -1950,7 +1971,7 @@ sequence(X0,X1,X2,X3,X4,X5,X6) :- -> (is_int(X4,Y4) -> (is_int(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_sequence_424(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_sequence_430(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5,X6),arg=5))) @@ -1967,7 +1988,7 @@ path(X0,X1,X2,X3,X4,X5,X6) :- -> (is_IntVar(X4,Y4) -> (is_IntVar(X5,Y5) -> (is_IntVar(X6,Y6) - -> gecode_constraint_path_344(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_path_350(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=5))) @@ -1977,11 +1998,11 @@ path(X0,X1,X2,X3,X4,X5,X6) :- -> (is_IntVar(X4,Y4) -> (is_IntVar(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_path_341(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_path_347(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; (is_IntVarArgs(X5,Y5) -> (is_IntVar(X6,Y6) - -> gecode_constraint_path_338(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_path_344(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=6)))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6),arg=5))) @@ -2009,11 +2030,28 @@ sorted(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) -> (is_IntVarArgs(X2,Y2) - -> gecode_constraint_sorted_431(Y0,Y1,Y2) + -> gecode_constraint_sorted_437(Y0,Y1,Y2) ; throw(gecode_argument_error(sorted(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(sorted(X0,X1,X2),arg=2))) ; throw(gecode_argument_error(sorted(X0,X1,X2),arg=1))). +extensional(X0,X1,X2,X3) :- + (is_Space_or_Clause(X0,Y0) + -> (is_IntVarArgs(X1,Y1) + -> (is_TupleSet(X2,Y2) + -> (is_ExtensionalPropKind(X3,Y3) + -> gecode_constraint_extensional_250(Y0,Y1,Y2,Y3) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3),arg=4))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3),arg=3))) + ; (is_BoolVarArgs(X1,Y1) + -> (is_TupleSet(X2,Y2) + -> (is_ExtensionalPropKind(X3,Y3) + -> gecode_constraint_extensional_247(Y0,Y1,Y2,Y3) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3),arg=4))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3),arg=3))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3),arg=2)))) + ; throw(gecode_argument_error(extensional(X0,X1,X2,X3),arg=1))). + circuit(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_int(X1,Y1) @@ -2205,6 +2243,19 @@ binpacking(X0,X1,X2,X3,X4) :- ; throw(gecode_argument_error(binpacking(X0,X1,X2,X3,X4),arg=2))) ; throw(gecode_argument_error(binpacking(X0,X1,X2,X3,X4),arg=1))). +extensional(X0,X1,X2) :- + (is_Space_or_Clause(X0,Y0) + -> (is_IntVarArgs(X1,Y1) + -> (is_TupleSet(X2,Y2) + -> gecode_constraint_extensional_249(Y0,Y1,Y2) + ; throw(gecode_argument_error(extensional(X0,X1,X2),arg=3))) + ; (is_BoolVarArgs(X1,Y1) + -> (is_TupleSet(X2,Y2) + -> gecode_constraint_extensional_246(Y0,Y1,Y2) + ; throw(gecode_argument_error(extensional(X0,X1,X2),arg=3))) + ; throw(gecode_argument_error(extensional(X0,X1,X2),arg=2)))) + ; throw(gecode_argument_error(extensional(X0,X1,X2),arg=1))). + linear(X0,X1,X2,X3,X4,X5) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) @@ -2212,13 +2263,13 @@ linear(X0,X1,X2,X3,X4,X5) :- -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_283(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_289(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5))) ; (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_287(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_293(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=4)))) @@ -2228,13 +2279,13 @@ linear(X0,X1,X2,X3,X4,X5) :- -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_251(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_257(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5))) ; (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_255(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_261(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=4)))) @@ -2244,11 +2295,11 @@ linear(X0,X1,X2,X3,X4,X5) :- -> (is_FloatRelType(X3,Y3) -> (is_FloatVar(X4,Y4) -> (is_Reify(X5,Y5) - -> gecode_constraint_linear_259(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_265(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6))) ; (is_FloatNum(X4,Y4) -> (is_Reify(X5,Y5) - -> gecode_constraint_linear_257(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_263(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2258,15 +2309,15 @@ linear(X0,X1,X2,X3,X4,X5) :- -> (is_IntRelType(X3,Y3) -> (is_int(X4,Y4) -> (is_Reify(X5,Y5) - -> gecode_constraint_linear_274(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_280(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_273(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_279(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6)))) ; (is_IntVar(X4,Y4) -> (is_Reify(X5,Y5) - -> gecode_constraint_linear_278(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_284(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_277(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_283(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2274,15 +2325,15 @@ linear(X0,X1,X2,X3,X4,X5) :- -> (is_IntRelType(X3,Y3) -> (is_int(X4,Y4) -> (is_Reify(X5,Y5) - -> gecode_constraint_linear_266(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_272(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_265(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_271(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6)))) ; (is_IntVar(X4,Y4) -> (is_Reify(X5,Y5) - -> gecode_constraint_linear_270(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_276(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_IntConLevel(X5,Y5) - -> gecode_constraint_linear_269(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_linear_275(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=6)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=5)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2298,7 +2349,7 @@ nooverlap(X0,X1,X2,X3,X4,X5,X6) :- -> (is_IntVarArgs(X4,Y4) -> (is_IntVarArgs(X5,Y5) -> (is_IntVarArgs(X6,Y6) - -> gecode_constraint_nooverlap_323(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_nooverlap_329(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6),arg=5))) @@ -2308,7 +2359,7 @@ nooverlap(X0,X1,X2,X3,X4,X5,X6) :- -> (is_IntArgs(X4,Y4) -> (is_BoolVarArgs(X5,Y5) -> (is_IntConLevel(X6,Y6) - -> gecode_constraint_nooverlap_318(Y0,Y1,Y2,Y3,Y4,Y5,Y6) + -> gecode_constraint_nooverlap_324(Y0,Y1,Y2,Y3,Y4,Y5,Y6) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6),arg=7))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6),arg=6))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6),arg=5))) @@ -2335,7 +2386,7 @@ sqr(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntConLevel(X3,Y3) - -> gecode_constraint_sqr_435(Y0,Y1,Y2,Y3) + -> gecode_constraint_sqr_441(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(sqr(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(sqr(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(sqr(X0,X1,X2,X3),arg=2))) @@ -2350,11 +2401,11 @@ path(X0,X1,X2,X3,X4,X5,X6,X7) :- -> (is_IntVar(X5,Y5) -> (is_IntVar(X6,Y6) -> (is_IntConLevel(X7,Y7) - -> gecode_constraint_path_345(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) + -> gecode_constraint_path_351(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=8))) ; (is_IntVarArgs(X6,Y6) -> (is_IntVar(X7,Y7) - -> gecode_constraint_path_342(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) + -> gecode_constraint_path_348(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=8))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=7)))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=6))) @@ -2366,7 +2417,7 @@ path(X0,X1,X2,X3,X4,X5,X6,X7) :- -> (is_IntVarArgs(X5,Y5) -> (is_IntVar(X6,Y6) -> (is_IntConLevel(X7,Y7) - -> gecode_constraint_path_339(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) + -> gecode_constraint_path_345(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=8))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=7))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5,X6,X7),arg=6))) @@ -2382,9 +2433,9 @@ unary(X0,X1,X2,X3,X4) :- -> (is_IntVarArgs(X2,Y2) -> (is_IntArgs(X3,Y3) -> (is_BoolVarArgs(X4,Y4) - -> gecode_constraint_unary_447(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_unary_453(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_unary_450(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_unary_456(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=3))) @@ -2392,15 +2443,15 @@ unary(X0,X1,X2,X3,X4) :- -> (is_IntVarArgs(X2,Y2) -> (is_IntVarArgs(X3,Y3) -> (is_BoolVarArgs(X4,Y4) - -> gecode_constraint_unary_443(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_unary_449(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_unary_446(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_unary_452(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=4))) ; (is_IntArgs(X2,Y2) -> (is_BoolVarArgs(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_unary_440(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_unary_446(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(unary(X0,X1,X2,X3,X4),arg=3)))) @@ -2412,9 +2463,9 @@ sorted(X0,X1,X2,X3) :- -> (is_IntVarArgs(X1,Y1) -> (is_IntVarArgs(X2,Y2) -> (is_IntVarArgs(X3,Y3) - -> gecode_constraint_sorted_429(Y0,Y1,Y2,Y3) + -> gecode_constraint_sorted_435(Y0,Y1,Y2,Y3) ; (is_IntConLevel(X3,Y3) - -> gecode_constraint_sorted_432(Y0,Y1,Y2,Y3) + -> gecode_constraint_sorted_438(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(sorted(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(sorted(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(sorted(X0,X1,X2,X3),arg=2))) @@ -2599,7 +2650,7 @@ sequence(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_SetVarArgs(X1,Y1) -> (is_SetVar(X2,Y2) - -> gecode_constraint_sequence_428(Y0,Y1,Y2) + -> gecode_constraint_sequence_434(Y0,Y1,Y2) ; throw(gecode_argument_error(sequence(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(sequence(X0,X1,X2),arg=2))) ; throw(gecode_argument_error(sequence(X0,X1,X2),arg=1))). @@ -2669,13 +2720,13 @@ pow(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_int(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_pow_351(Y0,Y1,Y2,Y3) + -> gecode_constraint_pow_357(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(pow(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(pow(X0,X1,X2,X3),arg=3))) ; (is_FloatVar(X1,Y1) -> (is_int(X2,Y2) -> (is_FloatVar(X3,Y3) - -> gecode_constraint_pow_350(Y0,Y1,Y2,Y3) + -> gecode_constraint_pow_356(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(pow(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(pow(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(pow(X0,X1,X2,X3),arg=2)))) @@ -2685,11 +2736,11 @@ precede(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_SetVarArgs(X1,Y1) -> (is_IntArgs(X2,Y2) - -> gecode_constraint_precede_357(Y0,Y1,Y2) + -> gecode_constraint_precede_363(Y0,Y1,Y2) ; throw(gecode_argument_error(precede(X0,X1,X2),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntArgs(X2,Y2) - -> gecode_constraint_precede_353(Y0,Y1,Y2) + -> gecode_constraint_precede_359(Y0,Y1,Y2) ; throw(gecode_argument_error(precede(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(precede(X0,X1,X2),arg=2)))) ; throw(gecode_argument_error(precede(X0,X1,X2),arg=1))). @@ -2766,15 +2817,15 @@ min(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_FloatVarArgs(X1,Y1) -> (is_FloatVar(X2,Y2) - -> gecode_constraint_min_304(Y0,Y1,Y2) + -> gecode_constraint_min_310(Y0,Y1,Y2) ; throw(gecode_argument_error(min(X0,X1,X2),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_min_305(Y0,Y1,Y2) + -> gecode_constraint_min_311(Y0,Y1,Y2) ; throw(gecode_argument_error(min(X0,X1,X2),arg=3))) ; (is_SetVar(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_min_310(Y0,Y1,Y2) + -> gecode_constraint_min_316(Y0,Y1,Y2) ; throw(gecode_argument_error(min(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(min(X0,X1,X2),arg=2))))) ; throw(gecode_argument_error(min(X0,X1,X2),arg=1))). @@ -2784,7 +2835,7 @@ sqrt(X0,X1,X2,X3) :- -> (is_IntVar(X1,Y1) -> (is_IntVar(X2,Y2) -> (is_IntConLevel(X3,Y3) - -> gecode_constraint_sqrt_438(Y0,Y1,Y2,Y3) + -> gecode_constraint_sqrt_444(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(sqrt(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(sqrt(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(sqrt(X0,X1,X2,X3),arg=2))) @@ -2797,7 +2848,7 @@ sequence(X0,X1,X2,X3,X4,X5) :- -> (is_int(X3,Y3) -> (is_int(X4,Y4) -> (is_int(X5,Y5) - -> gecode_constraint_sequence_425(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_sequence_431(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2807,7 +2858,7 @@ sequence(X0,X1,X2,X3,X4,X5) :- -> (is_int(X3,Y3) -> (is_int(X4,Y4) -> (is_int(X5,Y5) - -> gecode_constraint_sequence_423(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_sequence_429(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(sequence(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2819,11 +2870,11 @@ unshare(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) -> (is_IntConLevel(X2,Y2) - -> gecode_constraint_unshare_454(Y0,Y1,Y2) + -> gecode_constraint_unshare_460(Y0,Y1,Y2) ; throw(gecode_argument_error(unshare(X0,X1,X2),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_IntConLevel(X2,Y2) - -> gecode_constraint_unshare_452(Y0,Y1,Y2) + -> gecode_constraint_unshare_458(Y0,Y1,Y2) ; throw(gecode_argument_error(unshare(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(unshare(X0,X1,X2),arg=2)))) ; throw(gecode_argument_error(unshare(X0,X1,X2),arg=1))). @@ -2835,7 +2886,7 @@ path(X0,X1,X2,X3,X4,X5) :- -> (is_IntVar(X3,Y3) -> (is_IntVar(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_path_349(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_path_355(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2845,7 +2896,7 @@ path(X0,X1,X2,X3,X4,X5) :- -> (is_IntVar(X3,Y3) -> (is_IntVar(X4,Y4) -> (is_IntVar(X5,Y5) - -> gecode_constraint_path_340(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_path_346(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(path(X0,X1,X2,X3,X4,X5),arg=4))) @@ -2933,7 +2984,7 @@ nooverlap(X0,X1,X2,X3,X4,X5,X6,X7,X8) :- -> (is_IntVarArgs(X6,Y6) -> (is_BoolVarArgs(X7,Y7) -> (is_IntConLevel(X8,Y8) - -> gecode_constraint_nooverlap_322(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8) + -> gecode_constraint_nooverlap_328(Y0,Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6,X7,X8),arg=9))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6,X7,X8),arg=8))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5,X6,X7,X8),arg=7))) @@ -2969,11 +3020,11 @@ member(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_IntVarArgs(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_member_300(Y0,Y1,Y2) + -> gecode_constraint_member_306(Y0,Y1,Y2) ; throw(gecode_argument_error(member(X0,X1,X2),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_BoolVar(X2,Y2) - -> gecode_constraint_member_296(Y0,Y1,Y2) + -> gecode_constraint_member_302(Y0,Y1,Y2) ; throw(gecode_argument_error(member(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(member(X0,X1,X2),arg=2)))) ; throw(gecode_argument_error(member(X0,X1,X2),arg=1))). @@ -3039,7 +3090,7 @@ pow(X0,X1,X2,X3,X4) :- -> (is_int(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_pow_352(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_pow_358(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(pow(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(pow(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(pow(X0,X1,X2,X3,X4),arg=3))) @@ -3050,7 +3101,7 @@ notMin(X0,X1,X2) :- (is_Space_or_Clause(X0,Y0) -> (is_SetVar(X1,Y1) -> (is_IntVar(X2,Y2) - -> gecode_constraint_notMin_326(Y0,Y1,Y2) + -> gecode_constraint_notMin_332(Y0,Y1,Y2) ; throw(gecode_argument_error(notMin(X0,X1,X2),arg=3))) ; throw(gecode_argument_error(notMin(X0,X1,X2),arg=2))) ; throw(gecode_argument_error(notMin(X0,X1,X2),arg=1))). @@ -3184,75 +3235,75 @@ dom(X0,X1,X2) :- linear(X0,X1,X2,X3,X4) :- (is_Space_or_Clause(X0,Y0) - -> (is_FloatVarArgs(X1,Y1) - -> (is_FloatRelType(X2,Y2) - -> (is_FloatVar(X3,Y3) + -> (is_IntVarArgs(X1,Y1) + -> (is_IntRelType(X2,Y2) + -> (is_int(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_linear_263(Y0,Y1,Y2,Y3,Y4) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5))) - ; (is_FloatNum(X3,Y3) + -> gecode_constraint_linear_288(Y0,Y1,Y2,Y3,Y4) + ; (is_IntConLevel(X4,Y4) + -> gecode_constraint_linear_287(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) + ; (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_linear_261(Y0,Y1,Y2,Y3,Y4) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5))) + -> gecode_constraint_linear_292(Y0,Y1,Y2,Y3,Y4) + ; (is_IntConLevel(X4,Y4) + -> gecode_constraint_linear_291(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=3))) - ; (is_BoolVarArgs(X1,Y1) - -> (is_IntRelType(X2,Y2) - -> (is_int(X3,Y3) + ; (is_FloatVarArgs(X1,Y1) + -> (is_FloatRelType(X2,Y2) + -> (is_FloatVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_linear_250(Y0,Y1,Y2,Y3,Y4) - ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_linear_249(Y0,Y1,Y2,Y3,Y4) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) - ; (is_IntVar(X3,Y3) + -> gecode_constraint_linear_269(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5))) + ; (is_FloatNum(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_linear_254(Y0,Y1,Y2,Y3,Y4) - ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_linear_253(Y0,Y1,Y2,Y3,Y4) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) + -> gecode_constraint_linear_267(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=3))) - ; (is_FloatValArgs(X1,Y1) - -> (is_FloatVarArgs(X2,Y2) - -> (is_FloatRelType(X3,Y3) - -> (is_FloatVar(X4,Y4) - -> gecode_constraint_linear_258(Y0,Y1,Y2,Y3,Y4) - ; (is_FloatNum(X4,Y4) - -> gecode_constraint_linear_256(Y0,Y1,Y2,Y3,Y4) + ; (is_BoolVarArgs(X1,Y1) + -> (is_IntRelType(X2,Y2) + -> (is_int(X3,Y3) + -> (is_Reify(X4,Y4) + -> gecode_constraint_linear_256(Y0,Y1,Y2,Y3,Y4) + ; (is_IntConLevel(X4,Y4) + -> gecode_constraint_linear_255(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4))) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=3))) - ; (is_IntVarArgs(X1,Y1) - -> (is_IntRelType(X2,Y2) - -> (is_int(X3,Y3) + ; (is_IntVar(X3,Y3) -> (is_Reify(X4,Y4) - -> gecode_constraint_linear_282(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_linear_260(Y0,Y1,Y2,Y3,Y4) ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_linear_281(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_linear_259(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) - ; (is_IntVar(X3,Y3) - -> (is_Reify(X4,Y4) - -> gecode_constraint_linear_286(Y0,Y1,Y2,Y3,Y4) - ; (is_IntConLevel(X4,Y4) - -> gecode_constraint_linear_285(Y0,Y1,Y2,Y3,Y4) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) - ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4)))) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4)))) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=3))) + ; (is_FloatValArgs(X1,Y1) + -> (is_FloatVarArgs(X2,Y2) + -> (is_FloatRelType(X3,Y3) + -> (is_FloatVar(X4,Y4) + -> gecode_constraint_linear_264(Y0,Y1,Y2,Y3,Y4) + ; (is_FloatNum(X4,Y4) + -> gecode_constraint_linear_262(Y0,Y1,Y2,Y3,Y4) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) + ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=3))) ; (is_IntArgs(X1,Y1) -> (is_IntVarArgs(X2,Y2) -> (is_IntRelType(X3,Y3) -> (is_int(X4,Y4) - -> gecode_constraint_linear_272(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_linear_278(Y0,Y1,Y2,Y3,Y4) ; (is_IntVar(X4,Y4) - -> gecode_constraint_linear_276(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_linear_282(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4))) ; (is_BoolVarArgs(X2,Y2) -> (is_IntRelType(X3,Y3) -> (is_int(X4,Y4) - -> gecode_constraint_linear_264(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_linear_270(Y0,Y1,Y2,Y3,Y4) ; (is_IntVar(X4,Y4) - -> gecode_constraint_linear_268(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_linear_274(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=5)))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(linear(X0,X1,X2,X3,X4),arg=3)))) @@ -3266,9 +3317,9 @@ nooverlap(X0,X1,X2,X3,X4,X5) :- -> (is_IntVarArgs(X3,Y3) -> (is_IntArgs(X4,Y4) -> (is_BoolVarArgs(X5,Y5) - -> gecode_constraint_nooverlap_317(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_nooverlap_323(Y0,Y1,Y2,Y3,Y4,Y5) ; (is_IntConLevel(X5,Y5) - -> gecode_constraint_nooverlap_320(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_nooverlap_326(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5),arg=6)))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(nooverlap(X0,X1,X2,X3,X4,X5),arg=4))) @@ -3320,93 +3371,93 @@ rel(X0,X1,X2,X3) :- -> (is_FloatVar(X1,Y1) -> (is_FloatRelType(X2,Y2) -> (is_FloatVal(X3,Y3) - -> gecode_constraint_rel_395(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_401(Y0,Y1,Y2,Y3) ; (is_FloatVar(X3,Y3) - -> gecode_constraint_rel_397(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_403(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3))) ; (is_SetOpType(X1,Y1) -> (is_SetVarArgs(X2,Y2) -> (is_SetVar(X3,Y3) - -> gecode_constraint_rel_413(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_419(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4))) ; (is_IntVarArgs(X2,Y2) -> (is_SetVar(X3,Y3) - -> gecode_constraint_rel_411(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_417(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3)))) ; (is_FloatVarArgs(X1,Y1) -> (is_FloatRelType(X2,Y2) -> (is_FloatVal(X3,Y3) - -> gecode_constraint_rel_383(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_389(Y0,Y1,Y2,Y3) ; (is_FloatVar(X3,Y3) - -> gecode_constraint_rel_384(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_390(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3))) ; (is_BoolVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_rel_381(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_387(Y0,Y1,Y2,Y3) ; (is_BoolVarArgs(X3,Y3) - -> gecode_constraint_rel_377(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_383(Y0,Y1,Y2,Y3) ; (is_BoolVar(X3,Y3) - -> gecode_constraint_rel_375(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_381(Y0,Y1,Y2,Y3) ; (is_IntConLevel(X3,Y3) - -> gecode_constraint_rel_380(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_386(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3))) ; (is_BoolVar(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_rel_371(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_377(Y0,Y1,Y2,Y3) ; (is_BoolVar(X3,Y3) - -> gecode_constraint_rel_367(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_373(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3))) ; (is_IntVarArgs(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_rel_391(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_397(Y0,Y1,Y2,Y3) ; (is_IntVar(X3,Y3) - -> gecode_constraint_rel_393(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_399(Y0,Y1,Y2,Y3) ; (is_IntVarArgs(X3,Y3) - -> gecode_constraint_rel_387(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_393(Y0,Y1,Y2,Y3) ; (is_IntConLevel(X3,Y3) - -> gecode_constraint_rel_390(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_396(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3))) ; (is_IntVar(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_rel_399(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_405(Y0,Y1,Y2,Y3) ; (is_IntVar(X3,Y3) - -> gecode_constraint_rel_403(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_409(Y0,Y1,Y2,Y3) ; (is_SetVar(X3,Y3) - -> gecode_constraint_rel_407(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_413(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4))))) ; (is_SetRelType(X2,Y2) -> (is_SetVar(X3,Y3) - -> gecode_constraint_rel_408(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_414(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3)))) ; (is_SetVar(X1,Y1) -> (is_IntRelType(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_rel_414(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_420(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4))) ; (is_SetRelType(X2,Y2) -> (is_IntVar(X3,Y3) - -> gecode_constraint_rel_419(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_425(Y0,Y1,Y2,Y3) ; (is_SetVar(X3,Y3) - -> gecode_constraint_rel_421(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_427(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3)))) ; (is_BoolOpType(X1,Y1) -> (is_BoolVarArgs(X2,Y2) -> (is_int(X3,Y3) - -> gecode_constraint_rel_361(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_367(Y0,Y1,Y2,Y3) ; (is_BoolVar(X3,Y3) - -> gecode_constraint_rel_359(Y0,Y1,Y2,Y3) + -> gecode_constraint_rel_365(Y0,Y1,Y2,Y3) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=4)))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=3))) ; throw(gecode_argument_error(rel(X0,X1,X2,X3),arg=2))))))))))) @@ -3418,7 +3469,7 @@ min(X0,X1,X2,X3,X4) :- -> (is_IntVar(X2,Y2) -> (is_IntVar(X3,Y3) -> (is_IntConLevel(X4,Y4) - -> gecode_constraint_min_309(Y0,Y1,Y2,Y3,Y4) + -> gecode_constraint_min_315(Y0,Y1,Y2,Y3,Y4) ; throw(gecode_argument_error(min(X0,X1,X2,X3,X4),arg=5))) ; throw(gecode_argument_error(min(X0,X1,X2,X3,X4),arg=4))) ; throw(gecode_argument_error(min(X0,X1,X2,X3,X4),arg=3))) @@ -3443,7 +3494,7 @@ ite(X0,X1,X2,X3,X4,X5) :- -> (is_IntVar(X3,Y3) -> (is_IntVar(X4,Y4) -> (is_IntConLevel(X5,Y5) - -> gecode_constraint_ite_247(Y0,Y1,Y2,Y3,Y4,Y5) + -> gecode_constraint_ite_253(Y0,Y1,Y2,Y3,Y4,Y5) ; throw(gecode_argument_error(ite(X0,X1,X2,X3,X4,X5),arg=6))) ; throw(gecode_argument_error(ite(X0,X1,X2,X3,X4,X5),arg=5))) ; throw(gecode_argument_error(ite(X0,X1,X2,X3,X4,X5),arg=4))) diff --git a/library/gecode/4.2.0/gecode_yap_cc_impl_auto_generated.icc b/library/gecode/4.2.0/gecode_yap_cc_impl_auto_generated.icc index 7ac1ab8ba..ee03d8fff 100644 --- a/library/gecode/4.2.0/gecode_yap_cc_impl_auto_generated.icc +++ b/library/gecode/4.2.0/gecode_yap_cc_impl_auto_generated.icc @@ -174,7 +174,7 @@ static SetOpType gecode_SetOpType_from_term(YAP_Term X) cerr << "this should never happen" << endl; exit(1); } -static int gecode_constraint_unary_448(void) +static int gecode_constraint_unary_454(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); TaskTypeArgs X2 = gecode_TaskTypeArgs_from_term(YAP_ARG2); @@ -186,7 +186,7 @@ static int gecode_constraint_unary_448(void) return TRUE; } -static int gecode_constraint_unary_444(void) +static int gecode_constraint_unary_450(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -198,7 +198,7 @@ static int gecode_constraint_unary_444(void) return TRUE; } -static int gecode_constraint_nvalues_335(void) +static int gecode_constraint_nvalues_341(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -209,18 +209,18 @@ static int gecode_constraint_nvalues_335(void) return TRUE; } +static int gecode_constraint_nvalues_343(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + nvalues(*space,X2,X3,X4,X5); + return TRUE; +} + static int gecode_constraint_nvalues_337(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); - IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); - nvalues(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_nvalues_331(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -231,7 +231,7 @@ static int gecode_constraint_nvalues_331(void) return TRUE; } -static int gecode_constraint_nvalues_333(void) +static int gecode_constraint_nvalues_339(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -242,7 +242,7 @@ static int gecode_constraint_nvalues_333(void) return TRUE; } -static int gecode_constraint_max_292(void) +static int gecode_constraint_max_298(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -252,7 +252,7 @@ static int gecode_constraint_max_292(void) return TRUE; } -static int gecode_constraint_max_290(void) +static int gecode_constraint_max_296(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -262,7 +262,7 @@ static int gecode_constraint_max_290(void) return TRUE; } -static int gecode_constraint_max_291(void) +static int gecode_constraint_max_297(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -272,7 +272,7 @@ static int gecode_constraint_max_291(void) return TRUE; } -static int gecode_constraint_max_295(void) +static int gecode_constraint_max_301(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -315,7 +315,7 @@ static int gecode_constraint_convex_91(void) return TRUE; } -static int gecode_constraint_nooverlap_319(void) +static int gecode_constraint_nooverlap_325(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -488,7 +488,7 @@ static int gecode_constraint_element_228(void) return TRUE; } -static int gecode_constraint_sequence_427(void) +static int gecode_constraint_sequence_433(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVarArgs X2 = gecode_SetVarArgs_from_term(space,YAP_ARG2); @@ -496,7 +496,7 @@ static int gecode_constraint_sequence_427(void) return TRUE; } -static int gecode_constraint_notMax_325(void) +static int gecode_constraint_notMax_331(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -505,7 +505,7 @@ static int gecode_constraint_notMax_325(void) return TRUE; } -static int gecode_constraint_ite_246(void) +static int gecode_constraint_ite_252(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -516,7 +516,7 @@ static int gecode_constraint_ite_246(void) return TRUE; } -static int gecode_constraint_unary_441(void) +static int gecode_constraint_unary_447(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -525,7 +525,7 @@ static int gecode_constraint_unary_441(void) return TRUE; } -static int gecode_constraint_nroot_329(void) +static int gecode_constraint_nroot_335(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -696,7 +696,7 @@ static int gecode_constraint_channel_60(void) return TRUE; } -static int gecode_constraint_nooverlap_321(void) +static int gecode_constraint_nooverlap_327(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -710,7 +710,7 @@ static int gecode_constraint_nooverlap_321(void) return TRUE; } -static int gecode_constraint_nooverlap_324(void) +static int gecode_constraint_nooverlap_330(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -802,7 +802,7 @@ static int gecode_constraint_element_232(void) return TRUE; } -static int gecode_constraint_max_288(void) +static int gecode_constraint_max_294(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -811,7 +811,7 @@ static int gecode_constraint_max_288(void) return TRUE; } -static int gecode_constraint_max_289(void) +static int gecode_constraint_max_295(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -820,7 +820,7 @@ static int gecode_constraint_max_289(void) return TRUE; } -static int gecode_constraint_max_294(void) +static int gecode_constraint_max_300(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -829,7 +829,7 @@ static int gecode_constraint_max_294(void) return TRUE; } -static int gecode_constraint_unshare_453(void) +static int gecode_constraint_unshare_459(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -837,7 +837,7 @@ static int gecode_constraint_unshare_453(void) return TRUE; } -static int gecode_constraint_unshare_451(void) +static int gecode_constraint_unshare_457(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -845,7 +845,7 @@ static int gecode_constraint_unshare_451(void) return TRUE; } -static int gecode_constraint_path_348(void) +static int gecode_constraint_path_354(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); int X2 = gecode_int_from_term(YAP_ARG2); @@ -856,7 +856,7 @@ static int gecode_constraint_path_348(void) return TRUE; } -static int gecode_constraint_path_347(void) +static int gecode_constraint_path_353(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -906,7 +906,7 @@ static int gecode_constraint_branch_40(void) return TRUE; } -static int gecode_constraint_mult_315(void) +static int gecode_constraint_mult_321(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -916,7 +916,7 @@ static int gecode_constraint_mult_315(void) return TRUE; } -static int gecode_constraint_mult_314(void) +static int gecode_constraint_mult_320(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -950,7 +950,7 @@ static int gecode_constraint_clause_87(void) return TRUE; } -static int gecode_constraint_precede_356(void) +static int gecode_constraint_precede_362(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -969,7 +969,7 @@ static int gecode_constraint_distinct_160(void) return TRUE; } -static int gecode_constraint_member_302(void) +static int gecode_constraint_member_308(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -979,7 +979,7 @@ static int gecode_constraint_member_302(void) return TRUE; } -static int gecode_constraint_member_301(void) +static int gecode_constraint_member_307(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -989,7 +989,7 @@ static int gecode_constraint_member_301(void) return TRUE; } -static int gecode_constraint_member_298(void) +static int gecode_constraint_member_304(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -999,7 +999,7 @@ static int gecode_constraint_member_298(void) return TRUE; } -static int gecode_constraint_member_297(void) +static int gecode_constraint_member_303(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1009,7 +1009,7 @@ static int gecode_constraint_member_297(void) return TRUE; } -static int gecode_constraint_mod_313(void) +static int gecode_constraint_mod_319(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1047,7 +1047,29 @@ static int gecode_constraint_channelSorted_73(void) return TRUE; } -static int gecode_constraint_linear_262(void) +static int gecode_constraint_extensional_251(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + TupleSet X3 = gecode_TupleSet_from_term(YAP_ARG3); + ExtensionalPropKind X4 = gecode_ExtensionalPropKind_from_term(YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + extensional(*space,X2,X3,X4,X5); + return TRUE; +} + +static int gecode_constraint_extensional_248(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); + TupleSet X3 = gecode_TupleSet_from_term(YAP_ARG3); + ExtensionalPropKind X4 = gecode_ExtensionalPropKind_from_term(YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + extensional(*space,X2,X3,X4,X5); + return TRUE; +} + +static int gecode_constraint_linear_268(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -1057,7 +1079,7 @@ static int gecode_constraint_linear_262(void) return TRUE; } -static int gecode_constraint_linear_260(void) +static int gecode_constraint_linear_266(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -1067,7 +1089,7 @@ static int gecode_constraint_linear_260(void) return TRUE; } -static int gecode_constraint_linear_248(void) +static int gecode_constraint_linear_254(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1077,7 +1099,7 @@ static int gecode_constraint_linear_248(void) return TRUE; } -static int gecode_constraint_linear_252(void) +static int gecode_constraint_linear_258(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1087,7 +1109,7 @@ static int gecode_constraint_linear_252(void) return TRUE; } -static int gecode_constraint_linear_280(void) +static int gecode_constraint_linear_286(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1097,7 +1119,7 @@ static int gecode_constraint_linear_280(void) return TRUE; } -static int gecode_constraint_linear_284(void) +static int gecode_constraint_linear_290(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1115,7 +1137,7 @@ static int gecode_constraint_circuit_82(void) return TRUE; } -static int gecode_constraint_rel_396(void) +static int gecode_constraint_rel_402(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -1126,7 +1148,7 @@ static int gecode_constraint_rel_396(void) return TRUE; } -static int gecode_constraint_rel_398(void) +static int gecode_constraint_rel_404(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -1137,7 +1159,7 @@ static int gecode_constraint_rel_398(void) return TRUE; } -static int gecode_constraint_rel_412(void) +static int gecode_constraint_rel_418(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetOpType X2 = gecode_SetOpType_from_term(YAP_ARG2); @@ -1148,7 +1170,7 @@ static int gecode_constraint_rel_412(void) return TRUE; } -static int gecode_constraint_rel_410(void) +static int gecode_constraint_rel_416(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetOpType X2 = gecode_SetOpType_from_term(YAP_ARG2); @@ -1159,7 +1181,7 @@ static int gecode_constraint_rel_410(void) return TRUE; } -static int gecode_constraint_rel_382(void) +static int gecode_constraint_rel_388(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1170,7 +1192,7 @@ static int gecode_constraint_rel_382(void) return TRUE; } -static int gecode_constraint_rel_378(void) +static int gecode_constraint_rel_384(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1181,7 +1203,7 @@ static int gecode_constraint_rel_378(void) return TRUE; } -static int gecode_constraint_rel_376(void) +static int gecode_constraint_rel_382(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1192,7 +1214,7 @@ static int gecode_constraint_rel_376(void) return TRUE; } -static int gecode_constraint_rel_373(void) +static int gecode_constraint_rel_379(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1203,7 +1225,7 @@ static int gecode_constraint_rel_373(void) return TRUE; } -static int gecode_constraint_rel_372(void) +static int gecode_constraint_rel_378(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1214,7 +1236,7 @@ static int gecode_constraint_rel_372(void) return TRUE; } -static int gecode_constraint_rel_369(void) +static int gecode_constraint_rel_375(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1225,7 +1247,7 @@ static int gecode_constraint_rel_369(void) return TRUE; } -static int gecode_constraint_rel_368(void) +static int gecode_constraint_rel_374(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1236,7 +1258,7 @@ static int gecode_constraint_rel_368(void) return TRUE; } -static int gecode_constraint_rel_365(void) +static int gecode_constraint_rel_371(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1247,7 +1269,7 @@ static int gecode_constraint_rel_365(void) return TRUE; } -static int gecode_constraint_rel_363(void) +static int gecode_constraint_rel_369(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1258,7 +1280,7 @@ static int gecode_constraint_rel_363(void) return TRUE; } -static int gecode_constraint_rel_392(void) +static int gecode_constraint_rel_398(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1269,18 +1291,18 @@ static int gecode_constraint_rel_392(void) return TRUE; } +static int gecode_constraint_rel_400(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + rel(*space,X2,X3,X4,X5); + return TRUE; +} + static int gecode_constraint_rel_394(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); - IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); - rel(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_rel_388(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1291,7 +1313,7 @@ static int gecode_constraint_rel_388(void) return TRUE; } -static int gecode_constraint_rel_401(void) +static int gecode_constraint_rel_407(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1302,7 +1324,7 @@ static int gecode_constraint_rel_401(void) return TRUE; } -static int gecode_constraint_rel_400(void) +static int gecode_constraint_rel_406(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1313,7 +1335,7 @@ static int gecode_constraint_rel_400(void) return TRUE; } -static int gecode_constraint_rel_405(void) +static int gecode_constraint_rel_411(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1324,7 +1346,7 @@ static int gecode_constraint_rel_405(void) return TRUE; } -static int gecode_constraint_rel_404(void) +static int gecode_constraint_rel_410(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1335,7 +1357,7 @@ static int gecode_constraint_rel_404(void) return TRUE; } -static int gecode_constraint_rel_409(void) +static int gecode_constraint_rel_415(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1346,7 +1368,7 @@ static int gecode_constraint_rel_409(void) return TRUE; } -static int gecode_constraint_rel_420(void) +static int gecode_constraint_rel_426(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1357,7 +1379,7 @@ static int gecode_constraint_rel_420(void) return TRUE; } -static int gecode_constraint_rel_422(void) +static int gecode_constraint_rel_428(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1368,7 +1390,7 @@ static int gecode_constraint_rel_422(void) return TRUE; } -static int gecode_constraint_rel_362(void) +static int gecode_constraint_rel_368(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolOpType X2 = gecode_BoolOpType_from_term(YAP_ARG2); @@ -1379,7 +1401,7 @@ static int gecode_constraint_rel_362(void) return TRUE; } -static int gecode_constraint_rel_360(void) +static int gecode_constraint_rel_366(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolOpType X2 = gecode_BoolOpType_from_term(YAP_ARG2); @@ -1390,7 +1412,7 @@ static int gecode_constraint_rel_360(void) return TRUE; } -static int gecode_constraint_min_308(void) +static int gecode_constraint_min_314(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1400,7 +1422,7 @@ static int gecode_constraint_min_308(void) return TRUE; } -static int gecode_constraint_min_306(void) +static int gecode_constraint_min_312(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1410,7 +1432,7 @@ static int gecode_constraint_min_306(void) return TRUE; } -static int gecode_constraint_min_307(void) +static int gecode_constraint_min_313(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -1420,7 +1442,7 @@ static int gecode_constraint_min_307(void) return TRUE; } -static int gecode_constraint_min_311(void) +static int gecode_constraint_min_317(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1500,7 +1522,7 @@ static int gecode_constraint_count_96(void) return TRUE; } -static int gecode_constraint_sqrt_437(void) +static int gecode_constraint_sqrt_443(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1509,7 +1531,7 @@ static int gecode_constraint_sqrt_437(void) return TRUE; } -static int gecode_constraint_sqrt_436(void) +static int gecode_constraint_sqrt_442(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -1638,7 +1660,7 @@ static int gecode_constraint_cumulatives_143(void) return TRUE; } -static int gecode_constraint_nvalues_334(void) +static int gecode_constraint_nvalues_340(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1648,7 +1670,7 @@ static int gecode_constraint_nvalues_334(void) return TRUE; } -static int gecode_constraint_nvalues_336(void) +static int gecode_constraint_nvalues_342(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1658,7 +1680,7 @@ static int gecode_constraint_nvalues_336(void) return TRUE; } -static int gecode_constraint_nvalues_330(void) +static int gecode_constraint_nvalues_336(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1668,7 +1690,7 @@ static int gecode_constraint_nvalues_330(void) return TRUE; } -static int gecode_constraint_nvalues_332(void) +static int gecode_constraint_nvalues_338(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -1688,7 +1710,7 @@ static int gecode_constraint_binpacking_54(void) return TRUE; } -static int gecode_constraint_linear_275(void) +static int gecode_constraint_linear_281(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -1701,7 +1723,7 @@ static int gecode_constraint_linear_275(void) return TRUE; } -static int gecode_constraint_linear_279(void) +static int gecode_constraint_linear_285(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -1714,7 +1736,7 @@ static int gecode_constraint_linear_279(void) return TRUE; } -static int gecode_constraint_linear_267(void) +static int gecode_constraint_linear_273(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -1727,7 +1749,7 @@ static int gecode_constraint_linear_267(void) return TRUE; } -static int gecode_constraint_linear_271(void) +static int gecode_constraint_linear_277(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -1778,7 +1800,7 @@ static int gecode_constraint_div_162(void) return TRUE; } -static int gecode_constraint_rel_402(void) +static int gecode_constraint_rel_408(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1790,7 +1812,7 @@ static int gecode_constraint_rel_402(void) return TRUE; } -static int gecode_constraint_rel_406(void) +static int gecode_constraint_rel_412(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1802,7 +1824,7 @@ static int gecode_constraint_rel_406(void) return TRUE; } -static int gecode_constraint_rel_385(void) +static int gecode_constraint_rel_391(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntSet X2 = gecode_IntSet_from_term(YAP_ARG2); @@ -1814,7 +1836,7 @@ static int gecode_constraint_rel_385(void) return TRUE; } -static int gecode_constraint_rel_386(void) +static int gecode_constraint_rel_392(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntSet X2 = gecode_IntSet_from_term(YAP_ARG2); @@ -1826,7 +1848,7 @@ static int gecode_constraint_rel_386(void) return TRUE; } -static int gecode_constraint_rel_374(void) +static int gecode_constraint_rel_380(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1838,7 +1860,7 @@ static int gecode_constraint_rel_374(void) return TRUE; } -static int gecode_constraint_rel_370(void) +static int gecode_constraint_rel_376(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1850,7 +1872,7 @@ static int gecode_constraint_rel_370(void) return TRUE; } -static int gecode_constraint_rel_366(void) +static int gecode_constraint_rel_372(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1862,7 +1884,7 @@ static int gecode_constraint_rel_366(void) return TRUE; } -static int gecode_constraint_rel_364(void) +static int gecode_constraint_rel_370(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -1874,7 +1896,7 @@ static int gecode_constraint_rel_364(void) return TRUE; } -static int gecode_constraint_rel_415(void) +static int gecode_constraint_rel_421(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1886,7 +1908,7 @@ static int gecode_constraint_rel_415(void) return TRUE; } -static int gecode_constraint_rel_416(void) +static int gecode_constraint_rel_422(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1898,7 +1920,7 @@ static int gecode_constraint_rel_416(void) return TRUE; } -static int gecode_constraint_rel_417(void) +static int gecode_constraint_rel_423(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1910,7 +1932,7 @@ static int gecode_constraint_rel_417(void) return TRUE; } -static int gecode_constraint_rel_418(void) +static int gecode_constraint_rel_424(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -1922,7 +1944,7 @@ static int gecode_constraint_rel_418(void) return TRUE; } -static int gecode_constraint_weights_455(void) +static int gecode_constraint_weights_461(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -1933,7 +1955,7 @@ static int gecode_constraint_weights_455(void) return TRUE; } -static int gecode_constraint_max_293(void) +static int gecode_constraint_max_299(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -1944,7 +1966,7 @@ static int gecode_constraint_max_293(void) return TRUE; } -static int gecode_constraint_path_343(void) +static int gecode_constraint_path_349(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -1959,7 +1981,7 @@ static int gecode_constraint_path_343(void) return TRUE; } -static int gecode_constraint_unary_449(void) +static int gecode_constraint_unary_455(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); TaskTypeArgs X2 = gecode_TaskTypeArgs_from_term(YAP_ARG2); @@ -1969,7 +1991,7 @@ static int gecode_constraint_unary_449(void) return TRUE; } -static int gecode_constraint_unary_445(void) +static int gecode_constraint_unary_451(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1979,7 +2001,7 @@ static int gecode_constraint_unary_445(void) return TRUE; } -static int gecode_constraint_unary_439(void) +static int gecode_constraint_unary_445(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1989,7 +2011,7 @@ static int gecode_constraint_unary_439(void) return TRUE; } -static int gecode_constraint_unary_442(void) +static int gecode_constraint_unary_448(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -1999,7 +2021,7 @@ static int gecode_constraint_unary_442(void) return TRUE; } -static int gecode_constraint_nroot_328(void) +static int gecode_constraint_nroot_334(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -2009,7 +2031,7 @@ static int gecode_constraint_nroot_328(void) return TRUE; } -static int gecode_constraint_nroot_327(void) +static int gecode_constraint_nroot_333(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -2019,7 +2041,7 @@ static int gecode_constraint_nroot_327(void) return TRUE; } -static int gecode_constraint_sorted_430(void) +static int gecode_constraint_sorted_436(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2337,7 +2359,7 @@ static int gecode_constraint_assign_14(void) return TRUE; } -static int gecode_constraint_rel_389(void) +static int gecode_constraint_rel_395(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2346,7 +2368,7 @@ static int gecode_constraint_rel_389(void) return TRUE; } -static int gecode_constraint_rel_379(void) +static int gecode_constraint_rel_385(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -2355,7 +2377,7 @@ static int gecode_constraint_rel_379(void) return TRUE; } -static int gecode_constraint_path_346(void) +static int gecode_constraint_path_352(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2445,7 +2467,7 @@ static int gecode_constraint_branch_49(void) return TRUE; } -static int gecode_constraint_mult_316(void) +static int gecode_constraint_mult_322(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -2514,7 +2536,7 @@ static int gecode_constraint_clause_86(void) return TRUE; } -static int gecode_constraint_precede_358(void) +static int gecode_constraint_precede_364(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVarArgs X2 = gecode_SetVarArgs_from_term(space,YAP_ARG2); @@ -2524,7 +2546,7 @@ static int gecode_constraint_precede_358(void) return TRUE; } -static int gecode_constraint_precede_355(void) +static int gecode_constraint_precede_361(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2534,7 +2556,7 @@ static int gecode_constraint_precede_355(void) return TRUE; } -static int gecode_constraint_precede_354(void) +static int gecode_constraint_precede_360(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2704,7 +2726,7 @@ static int gecode_constraint_distinct_158(void) return TRUE; } -static int gecode_constraint_member_303(void) +static int gecode_constraint_member_309(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2715,7 +2737,7 @@ static int gecode_constraint_member_303(void) return TRUE; } -static int gecode_constraint_member_299(void) +static int gecode_constraint_member_305(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -2726,7 +2748,7 @@ static int gecode_constraint_member_299(void) return TRUE; } -static int gecode_constraint_mod_312(void) +static int gecode_constraint_mod_318(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -2736,7 +2758,7 @@ static int gecode_constraint_mod_312(void) return TRUE; } -static int gecode_constraint_sqr_434(void) +static int gecode_constraint_sqr_440(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -2745,7 +2767,7 @@ static int gecode_constraint_sqr_434(void) return TRUE; } -static int gecode_constraint_sqr_433(void) +static int gecode_constraint_sqr_439(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -2754,7 +2776,7 @@ static int gecode_constraint_sqr_433(void) return TRUE; } -static int gecode_constraint_sequence_426(void) +static int gecode_constraint_sequence_432(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2767,7 +2789,7 @@ static int gecode_constraint_sequence_426(void) return TRUE; } -static int gecode_constraint_sequence_424(void) +static int gecode_constraint_sequence_430(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -2780,7 +2802,7 @@ static int gecode_constraint_sequence_424(void) return TRUE; } -static int gecode_constraint_path_344(void) +static int gecode_constraint_path_350(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -2793,7 +2815,7 @@ static int gecode_constraint_path_344(void) return TRUE; } -static int gecode_constraint_path_341(void) +static int gecode_constraint_path_347(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -2806,7 +2828,7 @@ static int gecode_constraint_path_341(void) return TRUE; } -static int gecode_constraint_path_338(void) +static int gecode_constraint_path_344(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -2831,7 +2853,7 @@ static int gecode_constraint_divmod_166(void) return TRUE; } -static int gecode_constraint_sorted_431(void) +static int gecode_constraint_sorted_437(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -2840,6 +2862,26 @@ static int gecode_constraint_sorted_431(void) return TRUE; } +static int gecode_constraint_extensional_250(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + TupleSet X3 = gecode_TupleSet_from_term(YAP_ARG3); + ExtensionalPropKind X4 = gecode_ExtensionalPropKind_from_term(YAP_ARG4); + extensional(*space,X2,X3,X4); + return TRUE; +} + +static int gecode_constraint_extensional_247(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); + TupleSet X3 = gecode_TupleSet_from_term(YAP_ARG3); + ExtensionalPropKind X4 = gecode_ExtensionalPropKind_from_term(YAP_ARG4); + extensional(*space,X2,X3,X4); + return TRUE; +} + static int gecode_constraint_circuit_84(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); @@ -3174,7 +3216,25 @@ static int gecode_constraint_binpacking_55(void) return TRUE; } -static int gecode_constraint_linear_283(void) +static int gecode_constraint_extensional_249(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + TupleSet X3 = gecode_TupleSet_from_term(YAP_ARG3); + extensional(*space,X2,X3); + return TRUE; +} + +static int gecode_constraint_extensional_246(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); + TupleSet X3 = gecode_TupleSet_from_term(YAP_ARG3); + extensional(*space,X2,X3); + return TRUE; +} + +static int gecode_constraint_linear_289(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3186,7 +3246,7 @@ static int gecode_constraint_linear_283(void) return TRUE; } -static int gecode_constraint_linear_287(void) +static int gecode_constraint_linear_293(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3198,7 +3258,7 @@ static int gecode_constraint_linear_287(void) return TRUE; } -static int gecode_constraint_linear_251(void) +static int gecode_constraint_linear_257(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -3210,7 +3270,7 @@ static int gecode_constraint_linear_251(void) return TRUE; } -static int gecode_constraint_linear_255(void) +static int gecode_constraint_linear_261(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -3222,7 +3282,7 @@ static int gecode_constraint_linear_255(void) return TRUE; } -static int gecode_constraint_linear_259(void) +static int gecode_constraint_linear_265(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatValArgs X2 = gecode_FloatValArgs_from_term(YAP_ARG2); @@ -3234,7 +3294,7 @@ static int gecode_constraint_linear_259(void) return TRUE; } -static int gecode_constraint_linear_257(void) +static int gecode_constraint_linear_263(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatValArgs X2 = gecode_FloatValArgs_from_term(YAP_ARG2); @@ -3246,7 +3306,7 @@ static int gecode_constraint_linear_257(void) return TRUE; } -static int gecode_constraint_linear_274(void) +static int gecode_constraint_linear_280(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3258,7 +3318,7 @@ static int gecode_constraint_linear_274(void) return TRUE; } -static int gecode_constraint_linear_273(void) +static int gecode_constraint_linear_279(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3270,7 +3330,7 @@ static int gecode_constraint_linear_273(void) return TRUE; } -static int gecode_constraint_linear_278(void) +static int gecode_constraint_linear_284(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3282,7 +3342,7 @@ static int gecode_constraint_linear_278(void) return TRUE; } -static int gecode_constraint_linear_277(void) +static int gecode_constraint_linear_283(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3294,7 +3354,7 @@ static int gecode_constraint_linear_277(void) return TRUE; } -static int gecode_constraint_linear_266(void) +static int gecode_constraint_linear_272(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3306,7 +3366,7 @@ static int gecode_constraint_linear_266(void) return TRUE; } -static int gecode_constraint_linear_265(void) +static int gecode_constraint_linear_271(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3318,7 +3378,7 @@ static int gecode_constraint_linear_265(void) return TRUE; } -static int gecode_constraint_linear_270(void) +static int gecode_constraint_linear_276(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3330,7 +3390,7 @@ static int gecode_constraint_linear_270(void) return TRUE; } -static int gecode_constraint_linear_269(void) +static int gecode_constraint_linear_275(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3342,7 +3402,7 @@ static int gecode_constraint_linear_269(void) return TRUE; } -static int gecode_constraint_nooverlap_323(void) +static int gecode_constraint_nooverlap_329(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3355,7 +3415,7 @@ static int gecode_constraint_nooverlap_323(void) return TRUE; } -static int gecode_constraint_nooverlap_318(void) +static int gecode_constraint_nooverlap_324(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3379,7 +3439,7 @@ static int gecode_constraint_div_164(void) return TRUE; } -static int gecode_constraint_sqr_435(void) +static int gecode_constraint_sqr_441(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -3389,7 +3449,7 @@ static int gecode_constraint_sqr_435(void) return TRUE; } -static int gecode_constraint_path_345(void) +static int gecode_constraint_path_351(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3403,7 +3463,7 @@ static int gecode_constraint_path_345(void) return TRUE; } -static int gecode_constraint_path_342(void) +static int gecode_constraint_path_348(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3417,7 +3477,7 @@ static int gecode_constraint_path_342(void) return TRUE; } -static int gecode_constraint_path_339(void) +static int gecode_constraint_path_345(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -3431,7 +3491,7 @@ static int gecode_constraint_path_339(void) return TRUE; } -static int gecode_constraint_unary_447(void) +static int gecode_constraint_unary_453(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); TaskTypeArgs X2 = gecode_TaskTypeArgs_from_term(YAP_ARG2); @@ -3442,7 +3502,7 @@ static int gecode_constraint_unary_447(void) return TRUE; } -static int gecode_constraint_unary_450(void) +static int gecode_constraint_unary_456(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); TaskTypeArgs X2 = gecode_TaskTypeArgs_from_term(YAP_ARG2); @@ -3453,7 +3513,7 @@ static int gecode_constraint_unary_450(void) return TRUE; } -static int gecode_constraint_unary_443(void) +static int gecode_constraint_unary_449(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3464,18 +3524,18 @@ static int gecode_constraint_unary_443(void) return TRUE; } +static int gecode_constraint_unary_452(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntVarArgs X3 = gecode_IntVarArgs_from_term(space,YAP_ARG3); + IntVarArgs X4 = gecode_IntVarArgs_from_term(space,YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + unary(*space,X2,X3,X4,X5); + return TRUE; +} + static int gecode_constraint_unary_446(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntVarArgs X3 = gecode_IntVarArgs_from_term(space,YAP_ARG3); - IntVarArgs X4 = gecode_IntVarArgs_from_term(space,YAP_ARG4); - IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); - unary(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_unary_440(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3486,7 +3546,7 @@ static int gecode_constraint_unary_440(void) return TRUE; } -static int gecode_constraint_sorted_429(void) +static int gecode_constraint_sorted_435(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3496,7 +3556,7 @@ static int gecode_constraint_sorted_429(void) return TRUE; } -static int gecode_constraint_sorted_432(void) +static int gecode_constraint_sorted_438(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -3763,7 +3823,7 @@ static int gecode_constraint_element_229(void) return TRUE; } -static int gecode_constraint_sequence_428(void) +static int gecode_constraint_sequence_434(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVarArgs X2 = gecode_SetVarArgs_from_term(space,YAP_ARG2); @@ -3862,7 +3922,7 @@ static int gecode_constraint_circuit_79(void) return TRUE; } -static int gecode_constraint_pow_351(void) +static int gecode_constraint_pow_357(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -3872,7 +3932,7 @@ static int gecode_constraint_pow_351(void) return TRUE; } -static int gecode_constraint_pow_350(void) +static int gecode_constraint_pow_356(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -3882,7 +3942,7 @@ static int gecode_constraint_pow_350(void) return TRUE; } -static int gecode_constraint_precede_357(void) +static int gecode_constraint_precede_363(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVarArgs X2 = gecode_SetVarArgs_from_term(space,YAP_ARG2); @@ -3891,7 +3951,7 @@ static int gecode_constraint_precede_357(void) return TRUE; } -static int gecode_constraint_precede_353(void) +static int gecode_constraint_precede_359(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4006,7 +4066,7 @@ static int gecode_constraint_distinct_159(void) return TRUE; } -static int gecode_constraint_min_304(void) +static int gecode_constraint_min_310(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -4015,7 +4075,7 @@ static int gecode_constraint_min_304(void) return TRUE; } -static int gecode_constraint_min_305(void) +static int gecode_constraint_min_311(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4024,7 +4084,7 @@ static int gecode_constraint_min_305(void) return TRUE; } -static int gecode_constraint_min_310(void) +static int gecode_constraint_min_316(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -4033,7 +4093,7 @@ static int gecode_constraint_min_310(void) return TRUE; } -static int gecode_constraint_sqrt_438(void) +static int gecode_constraint_sqrt_444(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -4043,7 +4103,7 @@ static int gecode_constraint_sqrt_438(void) return TRUE; } -static int gecode_constraint_sequence_425(void) +static int gecode_constraint_sequence_431(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4055,7 +4115,7 @@ static int gecode_constraint_sequence_425(void) return TRUE; } -static int gecode_constraint_sequence_423(void) +static int gecode_constraint_sequence_429(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4067,7 +4127,7 @@ static int gecode_constraint_sequence_423(void) return TRUE; } -static int gecode_constraint_unshare_454(void) +static int gecode_constraint_unshare_460(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4076,7 +4136,7 @@ static int gecode_constraint_unshare_454(void) return TRUE; } -static int gecode_constraint_unshare_452(void) +static int gecode_constraint_unshare_458(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4085,7 +4145,7 @@ static int gecode_constraint_unshare_452(void) return TRUE; } -static int gecode_constraint_path_349(void) +static int gecode_constraint_path_355(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); int X2 = gecode_int_from_term(YAP_ARG2); @@ -4097,7 +4157,7 @@ static int gecode_constraint_path_349(void) return TRUE; } -static int gecode_constraint_path_340(void) +static int gecode_constraint_path_346(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -4204,7 +4264,7 @@ static int gecode_constraint_branch_39(void) return TRUE; } -static int gecode_constraint_nooverlap_322(void) +static int gecode_constraint_nooverlap_328(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4241,7 +4301,7 @@ static int gecode_constraint_cumulative_132(void) return TRUE; } -static int gecode_constraint_member_300(void) +static int gecode_constraint_member_306(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4250,7 +4310,7 @@ static int gecode_constraint_member_300(void) return TRUE; } -static int gecode_constraint_member_296(void) +static int gecode_constraint_member_302(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4355,7 +4415,7 @@ static int gecode_constraint_count_95(void) return TRUE; } -static int gecode_constraint_pow_352(void) +static int gecode_constraint_pow_358(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -4366,7 +4426,7 @@ static int gecode_constraint_pow_352(void) return TRUE; } -static int gecode_constraint_notMin_326(void) +static int gecode_constraint_notMin_332(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -4593,7 +4653,51 @@ static int gecode_constraint_dom_211(void) return TRUE; } -static int gecode_constraint_linear_263(void) +static int gecode_constraint_linear_288(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + int X4 = gecode_int_from_term(YAP_ARG4); + Reify X5 = gecode_Reify_from_term(YAP_ARG5); + linear(*space,X2,X3,X4,X5); + return TRUE; +} + +static int gecode_constraint_linear_287(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + int X4 = gecode_int_from_term(YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + linear(*space,X2,X3,X4,X5); + return TRUE; +} + +static int gecode_constraint_linear_292(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); + Reify X5 = gecode_Reify_from_term(YAP_ARG5); + linear(*space,X2,X3,X4,X5); + return TRUE; +} + +static int gecode_constraint_linear_291(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); + IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); + linear(*space,X2,X3,X4,X5); + return TRUE; +} + +static int gecode_constraint_linear_269(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -4604,7 +4708,7 @@ static int gecode_constraint_linear_263(void) return TRUE; } -static int gecode_constraint_linear_261(void) +static int gecode_constraint_linear_267(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -4615,7 +4719,7 @@ static int gecode_constraint_linear_261(void) return TRUE; } -static int gecode_constraint_linear_250(void) +static int gecode_constraint_linear_256(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4626,7 +4730,7 @@ static int gecode_constraint_linear_250(void) return TRUE; } -static int gecode_constraint_linear_249(void) +static int gecode_constraint_linear_255(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4637,7 +4741,7 @@ static int gecode_constraint_linear_249(void) return TRUE; } -static int gecode_constraint_linear_254(void) +static int gecode_constraint_linear_260(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4648,7 +4752,7 @@ static int gecode_constraint_linear_254(void) return TRUE; } -static int gecode_constraint_linear_253(void) +static int gecode_constraint_linear_259(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4659,7 +4763,7 @@ static int gecode_constraint_linear_253(void) return TRUE; } -static int gecode_constraint_linear_258(void) +static int gecode_constraint_linear_264(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatValArgs X2 = gecode_FloatValArgs_from_term(YAP_ARG2); @@ -4670,7 +4774,7 @@ static int gecode_constraint_linear_258(void) return TRUE; } -static int gecode_constraint_linear_256(void) +static int gecode_constraint_linear_262(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatValArgs X2 = gecode_FloatValArgs_from_term(YAP_ARG2); @@ -4681,62 +4785,18 @@ static int gecode_constraint_linear_256(void) return TRUE; } +static int gecode_constraint_linear_278(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); + IntVarArgs X3 = gecode_IntVarArgs_from_term(space,YAP_ARG3); + IntRelType X4 = gecode_IntRelType_from_term(YAP_ARG4); + int X5 = gecode_int_from_term(YAP_ARG5); + linear(*space,X2,X3,X4,X5); + return TRUE; +} + static int gecode_constraint_linear_282(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - int X4 = gecode_int_from_term(YAP_ARG4); - Reify X5 = gecode_Reify_from_term(YAP_ARG5); - linear(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_linear_281(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - int X4 = gecode_int_from_term(YAP_ARG4); - IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); - linear(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_linear_286(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); - Reify X5 = gecode_Reify_from_term(YAP_ARG5); - linear(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_linear_285(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); - IntConLevel X5 = gecode_IntConLevel_from_term(YAP_ARG5); - linear(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_linear_272(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); - IntVarArgs X3 = gecode_IntVarArgs_from_term(space,YAP_ARG3); - IntRelType X4 = gecode_IntRelType_from_term(YAP_ARG4); - int X5 = gecode_int_from_term(YAP_ARG5); - linear(*space,X2,X3,X4,X5); - return TRUE; -} - -static int gecode_constraint_linear_276(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -4747,7 +4807,7 @@ static int gecode_constraint_linear_276(void) return TRUE; } -static int gecode_constraint_linear_264(void) +static int gecode_constraint_linear_270(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -4758,7 +4818,7 @@ static int gecode_constraint_linear_264(void) return TRUE; } -static int gecode_constraint_linear_268(void) +static int gecode_constraint_linear_274(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntArgs X2 = gecode_IntArgs_from_term(YAP_ARG2); @@ -4769,7 +4829,7 @@ static int gecode_constraint_linear_268(void) return TRUE; } -static int gecode_constraint_nooverlap_317(void) +static int gecode_constraint_nooverlap_323(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4781,7 +4841,7 @@ static int gecode_constraint_nooverlap_317(void) return TRUE; } -static int gecode_constraint_nooverlap_320(void) +static int gecode_constraint_nooverlap_326(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4841,7 +4901,7 @@ static int gecode_constraint_element_239(void) return TRUE; } -static int gecode_constraint_rel_395(void) +static int gecode_constraint_rel_401(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -4851,7 +4911,7 @@ static int gecode_constraint_rel_395(void) return TRUE; } -static int gecode_constraint_rel_397(void) +static int gecode_constraint_rel_403(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVar X2 = gecode_FloatVar_from_term(space,YAP_ARG2); @@ -4861,7 +4921,7 @@ static int gecode_constraint_rel_397(void) return TRUE; } -static int gecode_constraint_rel_413(void) +static int gecode_constraint_rel_419(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetOpType X2 = gecode_SetOpType_from_term(YAP_ARG2); @@ -4871,7 +4931,7 @@ static int gecode_constraint_rel_413(void) return TRUE; } -static int gecode_constraint_rel_411(void) +static int gecode_constraint_rel_417(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetOpType X2 = gecode_SetOpType_from_term(YAP_ARG2); @@ -4881,7 +4941,7 @@ static int gecode_constraint_rel_411(void) return TRUE; } -static int gecode_constraint_rel_383(void) +static int gecode_constraint_rel_389(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -4891,7 +4951,7 @@ static int gecode_constraint_rel_383(void) return TRUE; } -static int gecode_constraint_rel_384(void) +static int gecode_constraint_rel_390(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); FloatVarArgs X2 = gecode_FloatVarArgs_from_term(space,YAP_ARG2); @@ -4901,7 +4961,7 @@ static int gecode_constraint_rel_384(void) return TRUE; } -static int gecode_constraint_rel_381(void) +static int gecode_constraint_rel_387(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4911,7 +4971,7 @@ static int gecode_constraint_rel_381(void) return TRUE; } -static int gecode_constraint_rel_377(void) +static int gecode_constraint_rel_383(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4921,7 +4981,7 @@ static int gecode_constraint_rel_377(void) return TRUE; } -static int gecode_constraint_rel_375(void) +static int gecode_constraint_rel_381(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4931,7 +4991,7 @@ static int gecode_constraint_rel_375(void) return TRUE; } -static int gecode_constraint_rel_380(void) +static int gecode_constraint_rel_386(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVarArgs X2 = gecode_BoolVarArgs_from_term(space,YAP_ARG2); @@ -4941,7 +5001,7 @@ static int gecode_constraint_rel_380(void) return TRUE; } -static int gecode_constraint_rel_371(void) +static int gecode_constraint_rel_377(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -4951,7 +5011,7 @@ static int gecode_constraint_rel_371(void) return TRUE; } -static int gecode_constraint_rel_367(void) +static int gecode_constraint_rel_373(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); @@ -4961,7 +5021,7 @@ static int gecode_constraint_rel_367(void) return TRUE; } -static int gecode_constraint_rel_391(void) +static int gecode_constraint_rel_397(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4971,17 +5031,17 @@ static int gecode_constraint_rel_391(void) return TRUE; } +static int gecode_constraint_rel_399(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); + IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); + IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); + rel(*space,X2,X3,X4); + return TRUE; +} + static int gecode_constraint_rel_393(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); - IntRelType X3 = gecode_IntRelType_from_term(YAP_ARG3); - IntVar X4 = gecode_IntVar_from_term(space,YAP_ARG4); - rel(*space,X2,X3,X4); - return TRUE; -} - -static int gecode_constraint_rel_387(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -4991,7 +5051,7 @@ static int gecode_constraint_rel_387(void) return TRUE; } -static int gecode_constraint_rel_390(void) +static int gecode_constraint_rel_396(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVarArgs X2 = gecode_IntVarArgs_from_term(space,YAP_ARG2); @@ -5001,7 +5061,7 @@ static int gecode_constraint_rel_390(void) return TRUE; } -static int gecode_constraint_rel_399(void) +static int gecode_constraint_rel_405(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -5011,7 +5071,7 @@ static int gecode_constraint_rel_399(void) return TRUE; } -static int gecode_constraint_rel_403(void) +static int gecode_constraint_rel_409(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -5021,7 +5081,7 @@ static int gecode_constraint_rel_403(void) return TRUE; } -static int gecode_constraint_rel_407(void) +static int gecode_constraint_rel_413(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -5031,17 +5091,17 @@ static int gecode_constraint_rel_407(void) return TRUE; } -static int gecode_constraint_rel_408(void) -{ - GenericSpace* space = gecode_Space_from_term(YAP_ARG1); - IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); - SetRelType X3 = gecode_SetRelType_from_term(YAP_ARG3); - SetVar X4 = gecode_SetVar_from_term(space,YAP_ARG4); - rel(*space,X2,X3,X4); - return TRUE; -} - static int gecode_constraint_rel_414(void) +{ + GenericSpace* space = gecode_Space_from_term(YAP_ARG1); + IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); + SetRelType X3 = gecode_SetRelType_from_term(YAP_ARG3); + SetVar X4 = gecode_SetVar_from_term(space,YAP_ARG4); + rel(*space,X2,X3,X4); + return TRUE; +} + +static int gecode_constraint_rel_420(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -5051,7 +5111,7 @@ static int gecode_constraint_rel_414(void) return TRUE; } -static int gecode_constraint_rel_419(void) +static int gecode_constraint_rel_425(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -5061,7 +5121,7 @@ static int gecode_constraint_rel_419(void) return TRUE; } -static int gecode_constraint_rel_421(void) +static int gecode_constraint_rel_427(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); SetVar X2 = gecode_SetVar_from_term(space,YAP_ARG2); @@ -5071,7 +5131,7 @@ static int gecode_constraint_rel_421(void) return TRUE; } -static int gecode_constraint_rel_361(void) +static int gecode_constraint_rel_367(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolOpType X2 = gecode_BoolOpType_from_term(YAP_ARG2); @@ -5081,7 +5141,7 @@ static int gecode_constraint_rel_361(void) return TRUE; } -static int gecode_constraint_rel_359(void) +static int gecode_constraint_rel_365(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolOpType X2 = gecode_BoolOpType_from_term(YAP_ARG2); @@ -5091,7 +5151,7 @@ static int gecode_constraint_rel_359(void) return TRUE; } -static int gecode_constraint_min_309(void) +static int gecode_constraint_min_315(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); IntVar X2 = gecode_IntVar_from_term(space,YAP_ARG2); @@ -5120,7 +5180,7 @@ static int gecode_constraint_count_98(void) return TRUE; } -static int gecode_constraint_ite_247(void) +static int gecode_constraint_ite_253(void) { GenericSpace* space = gecode_Space_from_term(YAP_ARG1); BoolVar X2 = gecode_BoolVar_from_term(space,YAP_ARG2); diff --git a/library/gecode/4.2.0/gecode_yap_cc_init_auto_generated.icc b/library/gecode/4.2.0/gecode_yap_cc_init_auto_generated.icc index c16574db8..9bfa787b5 100644 --- a/library/gecode/4.2.0/gecode_yap_cc_init_auto_generated.icc +++ b/library/gecode/4.2.0/gecode_yap_cc_init_auto_generated.icc @@ -173,20 +173,20 @@ gecode_SOT_MINUS = YAP_MkAtomTerm(X); YAP_AtomGetHold(X); } -YAP_UserCPredicate("gecode_constraint_unary_448", gecode_constraint_unary_448, 6); -YAP_UserCPredicate("gecode_constraint_unary_444", gecode_constraint_unary_444, 6); -YAP_UserCPredicate("gecode_constraint_nvalues_335", gecode_constraint_nvalues_335, 5); +YAP_UserCPredicate("gecode_constraint_unary_454", gecode_constraint_unary_454, 6); +YAP_UserCPredicate("gecode_constraint_unary_450", gecode_constraint_unary_450, 6); +YAP_UserCPredicate("gecode_constraint_nvalues_341", gecode_constraint_nvalues_341, 5); +YAP_UserCPredicate("gecode_constraint_nvalues_343", gecode_constraint_nvalues_343, 5); YAP_UserCPredicate("gecode_constraint_nvalues_337", gecode_constraint_nvalues_337, 5); -YAP_UserCPredicate("gecode_constraint_nvalues_331", gecode_constraint_nvalues_331, 5); -YAP_UserCPredicate("gecode_constraint_nvalues_333", gecode_constraint_nvalues_333, 5); -YAP_UserCPredicate("gecode_constraint_max_292", gecode_constraint_max_292, 4); -YAP_UserCPredicate("gecode_constraint_max_290", gecode_constraint_max_290, 4); -YAP_UserCPredicate("gecode_constraint_max_291", gecode_constraint_max_291, 4); -YAP_UserCPredicate("gecode_constraint_max_295", gecode_constraint_max_295, 4); +YAP_UserCPredicate("gecode_constraint_nvalues_339", gecode_constraint_nvalues_339, 5); +YAP_UserCPredicate("gecode_constraint_max_298", gecode_constraint_max_298, 4); +YAP_UserCPredicate("gecode_constraint_max_296", gecode_constraint_max_296, 4); +YAP_UserCPredicate("gecode_constraint_max_297", gecode_constraint_max_297, 4); +YAP_UserCPredicate("gecode_constraint_max_301", gecode_constraint_max_301, 4); YAP_UserCPredicate("gecode_constraint_dom_200", gecode_constraint_dom_200, 6); YAP_UserCPredicate("gecode_constraint_dom_209", gecode_constraint_dom_209, 6); YAP_UserCPredicate("gecode_constraint_convex_91", gecode_constraint_convex_91, 3); -YAP_UserCPredicate("gecode_constraint_nooverlap_319", gecode_constraint_nooverlap_319, 5); +YAP_UserCPredicate("gecode_constraint_nooverlap_325", gecode_constraint_nooverlap_325, 5); YAP_UserCPredicate("gecode_constraint_assign_15", gecode_constraint_assign_15, 3); YAP_UserCPredicate("gecode_constraint_assign_6", gecode_constraint_assign_6, 3); YAP_UserCPredicate("gecode_constraint_assign_3", gecode_constraint_assign_3, 3); @@ -204,11 +204,11 @@ YAP_UserCPredicate("gecode_constraint_element_227", gecode_constraint_element_22 YAP_UserCPredicate("gecode_constraint_element_230", gecode_constraint_element_230, 4); YAP_UserCPredicate("gecode_constraint_element_236", gecode_constraint_element_236, 4); YAP_UserCPredicate("gecode_constraint_element_228", gecode_constraint_element_228, 4); -YAP_UserCPredicate("gecode_constraint_sequence_427", gecode_constraint_sequence_427, 2); -YAP_UserCPredicate("gecode_constraint_notMax_325", gecode_constraint_notMax_325, 3); -YAP_UserCPredicate("gecode_constraint_ite_246", gecode_constraint_ite_246, 5); -YAP_UserCPredicate("gecode_constraint_unary_441", gecode_constraint_unary_441, 3); -YAP_UserCPredicate("gecode_constraint_nroot_329", gecode_constraint_nroot_329, 5); +YAP_UserCPredicate("gecode_constraint_sequence_433", gecode_constraint_sequence_433, 2); +YAP_UserCPredicate("gecode_constraint_notMax_331", gecode_constraint_notMax_331, 3); +YAP_UserCPredicate("gecode_constraint_ite_252", gecode_constraint_ite_252, 5); +YAP_UserCPredicate("gecode_constraint_unary_447", gecode_constraint_unary_447, 3); +YAP_UserCPredicate("gecode_constraint_nroot_335", gecode_constraint_nroot_335, 5); YAP_UserCPredicate("gecode_constraint_circuit_85", gecode_constraint_circuit_85, 4); YAP_UserCPredicate("gecode_constraint_circuit_76", gecode_constraint_circuit_76, 4); YAP_UserCPredicate("gecode_constraint_dom_199", gecode_constraint_dom_199, 5); @@ -224,74 +224,76 @@ YAP_UserCPredicate("gecode_constraint_dom_206", gecode_constraint_dom_206, 5); YAP_UserCPredicate("gecode_constraint_channel_66", gecode_constraint_channel_66, 4); YAP_UserCPredicate("gecode_constraint_channel_62", gecode_constraint_channel_62, 4); YAP_UserCPredicate("gecode_constraint_channel_60", gecode_constraint_channel_60, 4); -YAP_UserCPredicate("gecode_constraint_nooverlap_321", gecode_constraint_nooverlap_321, 8); -YAP_UserCPredicate("gecode_constraint_nooverlap_324", gecode_constraint_nooverlap_324, 8); +YAP_UserCPredicate("gecode_constraint_nooverlap_327", gecode_constraint_nooverlap_327, 8); +YAP_UserCPredicate("gecode_constraint_nooverlap_330", gecode_constraint_nooverlap_330, 8); YAP_UserCPredicate("gecode_constraint_element_222", gecode_constraint_element_222, 7); YAP_UserCPredicate("gecode_constraint_element_216", gecode_constraint_element_216, 7); YAP_UserCPredicate("gecode_constraint_element_218", gecode_constraint_element_218, 7); YAP_UserCPredicate("gecode_constraint_element_226", gecode_constraint_element_226, 7); YAP_UserCPredicate("gecode_constraint_element_234", gecode_constraint_element_234, 7); YAP_UserCPredicate("gecode_constraint_element_232", gecode_constraint_element_232, 7); -YAP_UserCPredicate("gecode_constraint_max_288", gecode_constraint_max_288, 3); -YAP_UserCPredicate("gecode_constraint_max_289", gecode_constraint_max_289, 3); YAP_UserCPredicate("gecode_constraint_max_294", gecode_constraint_max_294, 3); -YAP_UserCPredicate("gecode_constraint_unshare_453", gecode_constraint_unshare_453, 2); -YAP_UserCPredicate("gecode_constraint_unshare_451", gecode_constraint_unshare_451, 2); -YAP_UserCPredicate("gecode_constraint_path_348", gecode_constraint_path_348, 5); -YAP_UserCPredicate("gecode_constraint_path_347", gecode_constraint_path_347, 5); +YAP_UserCPredicate("gecode_constraint_max_295", gecode_constraint_max_295, 3); +YAP_UserCPredicate("gecode_constraint_max_300", gecode_constraint_max_300, 3); +YAP_UserCPredicate("gecode_constraint_unshare_459", gecode_constraint_unshare_459, 2); +YAP_UserCPredicate("gecode_constraint_unshare_457", gecode_constraint_unshare_457, 2); +YAP_UserCPredicate("gecode_constraint_path_354", gecode_constraint_path_354, 5); +YAP_UserCPredicate("gecode_constraint_path_353", gecode_constraint_path_353, 5); YAP_UserCPredicate("gecode_constraint_branch_34", gecode_constraint_branch_34, 7); YAP_UserCPredicate("gecode_constraint_branch_28", gecode_constraint_branch_28, 7); YAP_UserCPredicate("gecode_constraint_branch_40", gecode_constraint_branch_40, 7); -YAP_UserCPredicate("gecode_constraint_mult_315", gecode_constraint_mult_315, 4); -YAP_UserCPredicate("gecode_constraint_mult_314", gecode_constraint_mult_314, 4); +YAP_UserCPredicate("gecode_constraint_mult_321", gecode_constraint_mult_321, 4); +YAP_UserCPredicate("gecode_constraint_mult_320", gecode_constraint_mult_320, 4); YAP_UserCPredicate("gecode_constraint_clause_89", gecode_constraint_clause_89, 6); YAP_UserCPredicate("gecode_constraint_clause_87", gecode_constraint_clause_87, 6); -YAP_UserCPredicate("gecode_constraint_precede_356", gecode_constraint_precede_356, 5); +YAP_UserCPredicate("gecode_constraint_precede_362", gecode_constraint_precede_362, 5); YAP_UserCPredicate("gecode_constraint_distinct_160", gecode_constraint_distinct_160, 2); -YAP_UserCPredicate("gecode_constraint_member_302", gecode_constraint_member_302, 4); -YAP_UserCPredicate("gecode_constraint_member_301", gecode_constraint_member_301, 4); -YAP_UserCPredicate("gecode_constraint_member_298", gecode_constraint_member_298, 4); -YAP_UserCPredicate("gecode_constraint_member_297", gecode_constraint_member_297, 4); -YAP_UserCPredicate("gecode_constraint_mod_313", gecode_constraint_mod_313, 5); +YAP_UserCPredicate("gecode_constraint_member_308", gecode_constraint_member_308, 4); +YAP_UserCPredicate("gecode_constraint_member_307", gecode_constraint_member_307, 4); +YAP_UserCPredicate("gecode_constraint_member_304", gecode_constraint_member_304, 4); +YAP_UserCPredicate("gecode_constraint_member_303", gecode_constraint_member_303, 4); +YAP_UserCPredicate("gecode_constraint_mod_319", gecode_constraint_mod_319, 5); YAP_UserCPredicate("gecode_constraint_cardinality_57", gecode_constraint_cardinality_57, 3); YAP_UserCPredicate("gecode_constraint_atmostOne_53", gecode_constraint_atmostOne_53, 3); YAP_UserCPredicate("gecode_constraint_channelSorted_73", gecode_constraint_channelSorted_73, 3); -YAP_UserCPredicate("gecode_constraint_linear_262", gecode_constraint_linear_262, 4); -YAP_UserCPredicate("gecode_constraint_linear_260", gecode_constraint_linear_260, 4); -YAP_UserCPredicate("gecode_constraint_linear_248", gecode_constraint_linear_248, 4); -YAP_UserCPredicate("gecode_constraint_linear_252", gecode_constraint_linear_252, 4); -YAP_UserCPredicate("gecode_constraint_linear_280", gecode_constraint_linear_280, 4); -YAP_UserCPredicate("gecode_constraint_linear_284", gecode_constraint_linear_284, 4); +YAP_UserCPredicate("gecode_constraint_extensional_251", gecode_constraint_extensional_251, 5); +YAP_UserCPredicate("gecode_constraint_extensional_248", gecode_constraint_extensional_248, 5); +YAP_UserCPredicate("gecode_constraint_linear_268", gecode_constraint_linear_268, 4); +YAP_UserCPredicate("gecode_constraint_linear_266", gecode_constraint_linear_266, 4); +YAP_UserCPredicate("gecode_constraint_linear_254", gecode_constraint_linear_254, 4); +YAP_UserCPredicate("gecode_constraint_linear_258", gecode_constraint_linear_258, 4); +YAP_UserCPredicate("gecode_constraint_linear_286", gecode_constraint_linear_286, 4); +YAP_UserCPredicate("gecode_constraint_linear_290", gecode_constraint_linear_290, 4); YAP_UserCPredicate("gecode_constraint_circuit_82", gecode_constraint_circuit_82, 2); -YAP_UserCPredicate("gecode_constraint_rel_396", gecode_constraint_rel_396, 5); -YAP_UserCPredicate("gecode_constraint_rel_398", gecode_constraint_rel_398, 5); -YAP_UserCPredicate("gecode_constraint_rel_412", gecode_constraint_rel_412, 5); -YAP_UserCPredicate("gecode_constraint_rel_410", gecode_constraint_rel_410, 5); -YAP_UserCPredicate("gecode_constraint_rel_382", gecode_constraint_rel_382, 5); -YAP_UserCPredicate("gecode_constraint_rel_378", gecode_constraint_rel_378, 5); -YAP_UserCPredicate("gecode_constraint_rel_376", gecode_constraint_rel_376, 5); -YAP_UserCPredicate("gecode_constraint_rel_373", gecode_constraint_rel_373, 5); -YAP_UserCPredicate("gecode_constraint_rel_372", gecode_constraint_rel_372, 5); -YAP_UserCPredicate("gecode_constraint_rel_369", gecode_constraint_rel_369, 5); -YAP_UserCPredicate("gecode_constraint_rel_368", gecode_constraint_rel_368, 5); -YAP_UserCPredicate("gecode_constraint_rel_365", gecode_constraint_rel_365, 5); -YAP_UserCPredicate("gecode_constraint_rel_363", gecode_constraint_rel_363, 5); -YAP_UserCPredicate("gecode_constraint_rel_392", gecode_constraint_rel_392, 5); -YAP_UserCPredicate("gecode_constraint_rel_394", gecode_constraint_rel_394, 5); -YAP_UserCPredicate("gecode_constraint_rel_388", gecode_constraint_rel_388, 5); -YAP_UserCPredicate("gecode_constraint_rel_401", gecode_constraint_rel_401, 5); -YAP_UserCPredicate("gecode_constraint_rel_400", gecode_constraint_rel_400, 5); -YAP_UserCPredicate("gecode_constraint_rel_405", gecode_constraint_rel_405, 5); +YAP_UserCPredicate("gecode_constraint_rel_402", gecode_constraint_rel_402, 5); YAP_UserCPredicate("gecode_constraint_rel_404", gecode_constraint_rel_404, 5); -YAP_UserCPredicate("gecode_constraint_rel_409", gecode_constraint_rel_409, 5); -YAP_UserCPredicate("gecode_constraint_rel_420", gecode_constraint_rel_420, 5); -YAP_UserCPredicate("gecode_constraint_rel_422", gecode_constraint_rel_422, 5); -YAP_UserCPredicate("gecode_constraint_rel_362", gecode_constraint_rel_362, 5); -YAP_UserCPredicate("gecode_constraint_rel_360", gecode_constraint_rel_360, 5); -YAP_UserCPredicate("gecode_constraint_min_308", gecode_constraint_min_308, 4); -YAP_UserCPredicate("gecode_constraint_min_306", gecode_constraint_min_306, 4); -YAP_UserCPredicate("gecode_constraint_min_307", gecode_constraint_min_307, 4); -YAP_UserCPredicate("gecode_constraint_min_311", gecode_constraint_min_311, 4); +YAP_UserCPredicate("gecode_constraint_rel_418", gecode_constraint_rel_418, 5); +YAP_UserCPredicate("gecode_constraint_rel_416", gecode_constraint_rel_416, 5); +YAP_UserCPredicate("gecode_constraint_rel_388", gecode_constraint_rel_388, 5); +YAP_UserCPredicate("gecode_constraint_rel_384", gecode_constraint_rel_384, 5); +YAP_UserCPredicate("gecode_constraint_rel_382", gecode_constraint_rel_382, 5); +YAP_UserCPredicate("gecode_constraint_rel_379", gecode_constraint_rel_379, 5); +YAP_UserCPredicate("gecode_constraint_rel_378", gecode_constraint_rel_378, 5); +YAP_UserCPredicate("gecode_constraint_rel_375", gecode_constraint_rel_375, 5); +YAP_UserCPredicate("gecode_constraint_rel_374", gecode_constraint_rel_374, 5); +YAP_UserCPredicate("gecode_constraint_rel_371", gecode_constraint_rel_371, 5); +YAP_UserCPredicate("gecode_constraint_rel_369", gecode_constraint_rel_369, 5); +YAP_UserCPredicate("gecode_constraint_rel_398", gecode_constraint_rel_398, 5); +YAP_UserCPredicate("gecode_constraint_rel_400", gecode_constraint_rel_400, 5); +YAP_UserCPredicate("gecode_constraint_rel_394", gecode_constraint_rel_394, 5); +YAP_UserCPredicate("gecode_constraint_rel_407", gecode_constraint_rel_407, 5); +YAP_UserCPredicate("gecode_constraint_rel_406", gecode_constraint_rel_406, 5); +YAP_UserCPredicate("gecode_constraint_rel_411", gecode_constraint_rel_411, 5); +YAP_UserCPredicate("gecode_constraint_rel_410", gecode_constraint_rel_410, 5); +YAP_UserCPredicate("gecode_constraint_rel_415", gecode_constraint_rel_415, 5); +YAP_UserCPredicate("gecode_constraint_rel_426", gecode_constraint_rel_426, 5); +YAP_UserCPredicate("gecode_constraint_rel_428", gecode_constraint_rel_428, 5); +YAP_UserCPredicate("gecode_constraint_rel_368", gecode_constraint_rel_368, 5); +YAP_UserCPredicate("gecode_constraint_rel_366", gecode_constraint_rel_366, 5); +YAP_UserCPredicate("gecode_constraint_min_314", gecode_constraint_min_314, 4); +YAP_UserCPredicate("gecode_constraint_min_312", gecode_constraint_min_312, 4); +YAP_UserCPredicate("gecode_constraint_min_313", gecode_constraint_min_313, 4); +YAP_UserCPredicate("gecode_constraint_min_317", gecode_constraint_min_317, 4); YAP_UserCPredicate("gecode_constraint_cardinality_56", gecode_constraint_cardinality_56, 4); YAP_UserCPredicate("gecode_constraint_cardinality_58", gecode_constraint_cardinality_58, 4); YAP_UserCPredicate("gecode_constraint_count_109", gecode_constraint_count_109, 4); @@ -299,8 +301,8 @@ YAP_UserCPredicate("gecode_constraint_count_106", gecode_constraint_count_106, 4 YAP_UserCPredicate("gecode_constraint_count_100", gecode_constraint_count_100, 4); YAP_UserCPredicate("gecode_constraint_count_99", gecode_constraint_count_99, 4); YAP_UserCPredicate("gecode_constraint_count_96", gecode_constraint_count_96, 4); -YAP_UserCPredicate("gecode_constraint_sqrt_437", gecode_constraint_sqrt_437, 3); -YAP_UserCPredicate("gecode_constraint_sqrt_436", gecode_constraint_sqrt_436, 3); +YAP_UserCPredicate("gecode_constraint_sqrt_443", gecode_constraint_sqrt_443, 3); +YAP_UserCPredicate("gecode_constraint_sqrt_442", gecode_constraint_sqrt_442, 3); YAP_UserCPredicate("gecode_constraint_cumulatives_157", gecode_constraint_cumulatives_157, 9); YAP_UserCPredicate("gecode_constraint_cumulatives_155", gecode_constraint_cumulatives_155, 9); YAP_UserCPredicate("gecode_constraint_cumulatives_153", gecode_constraint_cumulatives_153, 9); @@ -309,41 +311,41 @@ YAP_UserCPredicate("gecode_constraint_cumulatives_149", gecode_constraint_cumula YAP_UserCPredicate("gecode_constraint_cumulatives_147", gecode_constraint_cumulatives_147, 9); YAP_UserCPredicate("gecode_constraint_cumulatives_145", gecode_constraint_cumulatives_145, 9); YAP_UserCPredicate("gecode_constraint_cumulatives_143", gecode_constraint_cumulatives_143, 9); -YAP_UserCPredicate("gecode_constraint_nvalues_334", gecode_constraint_nvalues_334, 4); +YAP_UserCPredicate("gecode_constraint_nvalues_340", gecode_constraint_nvalues_340, 4); +YAP_UserCPredicate("gecode_constraint_nvalues_342", gecode_constraint_nvalues_342, 4); YAP_UserCPredicate("gecode_constraint_nvalues_336", gecode_constraint_nvalues_336, 4); -YAP_UserCPredicate("gecode_constraint_nvalues_330", gecode_constraint_nvalues_330, 4); -YAP_UserCPredicate("gecode_constraint_nvalues_332", gecode_constraint_nvalues_332, 4); +YAP_UserCPredicate("gecode_constraint_nvalues_338", gecode_constraint_nvalues_338, 4); YAP_UserCPredicate("gecode_constraint_binpacking_54", gecode_constraint_binpacking_54, 4); -YAP_UserCPredicate("gecode_constraint_linear_275", gecode_constraint_linear_275, 7); -YAP_UserCPredicate("gecode_constraint_linear_279", gecode_constraint_linear_279, 7); -YAP_UserCPredicate("gecode_constraint_linear_267", gecode_constraint_linear_267, 7); -YAP_UserCPredicate("gecode_constraint_linear_271", gecode_constraint_linear_271, 7); +YAP_UserCPredicate("gecode_constraint_linear_281", gecode_constraint_linear_281, 7); +YAP_UserCPredicate("gecode_constraint_linear_285", gecode_constraint_linear_285, 7); +YAP_UserCPredicate("gecode_constraint_linear_273", gecode_constraint_linear_273, 7); +YAP_UserCPredicate("gecode_constraint_linear_277", gecode_constraint_linear_277, 7); YAP_UserCPredicate("gecode_constraint_abs_52", gecode_constraint_abs_52, 4); YAP_UserCPredicate("gecode_constraint_convex_90", gecode_constraint_convex_90, 2); YAP_UserCPredicate("gecode_constraint_div_163", gecode_constraint_div_163, 4); YAP_UserCPredicate("gecode_constraint_div_162", gecode_constraint_div_162, 4); -YAP_UserCPredicate("gecode_constraint_rel_402", gecode_constraint_rel_402, 6); -YAP_UserCPredicate("gecode_constraint_rel_406", gecode_constraint_rel_406, 6); -YAP_UserCPredicate("gecode_constraint_rel_385", gecode_constraint_rel_385, 6); -YAP_UserCPredicate("gecode_constraint_rel_386", gecode_constraint_rel_386, 6); -YAP_UserCPredicate("gecode_constraint_rel_374", gecode_constraint_rel_374, 6); +YAP_UserCPredicate("gecode_constraint_rel_408", gecode_constraint_rel_408, 6); +YAP_UserCPredicate("gecode_constraint_rel_412", gecode_constraint_rel_412, 6); +YAP_UserCPredicate("gecode_constraint_rel_391", gecode_constraint_rel_391, 6); +YAP_UserCPredicate("gecode_constraint_rel_392", gecode_constraint_rel_392, 6); +YAP_UserCPredicate("gecode_constraint_rel_380", gecode_constraint_rel_380, 6); +YAP_UserCPredicate("gecode_constraint_rel_376", gecode_constraint_rel_376, 6); +YAP_UserCPredicate("gecode_constraint_rel_372", gecode_constraint_rel_372, 6); YAP_UserCPredicate("gecode_constraint_rel_370", gecode_constraint_rel_370, 6); -YAP_UserCPredicate("gecode_constraint_rel_366", gecode_constraint_rel_366, 6); -YAP_UserCPredicate("gecode_constraint_rel_364", gecode_constraint_rel_364, 6); -YAP_UserCPredicate("gecode_constraint_rel_415", gecode_constraint_rel_415, 6); -YAP_UserCPredicate("gecode_constraint_rel_416", gecode_constraint_rel_416, 6); -YAP_UserCPredicate("gecode_constraint_rel_417", gecode_constraint_rel_417, 6); -YAP_UserCPredicate("gecode_constraint_rel_418", gecode_constraint_rel_418, 6); -YAP_UserCPredicate("gecode_constraint_weights_455", gecode_constraint_weights_455, 5); -YAP_UserCPredicate("gecode_constraint_max_293", gecode_constraint_max_293, 5); -YAP_UserCPredicate("gecode_constraint_path_343", gecode_constraint_path_343, 9); -YAP_UserCPredicate("gecode_constraint_unary_449", gecode_constraint_unary_449, 4); +YAP_UserCPredicate("gecode_constraint_rel_421", gecode_constraint_rel_421, 6); +YAP_UserCPredicate("gecode_constraint_rel_422", gecode_constraint_rel_422, 6); +YAP_UserCPredicate("gecode_constraint_rel_423", gecode_constraint_rel_423, 6); +YAP_UserCPredicate("gecode_constraint_rel_424", gecode_constraint_rel_424, 6); +YAP_UserCPredicate("gecode_constraint_weights_461", gecode_constraint_weights_461, 5); +YAP_UserCPredicate("gecode_constraint_max_299", gecode_constraint_max_299, 5); +YAP_UserCPredicate("gecode_constraint_path_349", gecode_constraint_path_349, 9); +YAP_UserCPredicate("gecode_constraint_unary_455", gecode_constraint_unary_455, 4); +YAP_UserCPredicate("gecode_constraint_unary_451", gecode_constraint_unary_451, 4); YAP_UserCPredicate("gecode_constraint_unary_445", gecode_constraint_unary_445, 4); -YAP_UserCPredicate("gecode_constraint_unary_439", gecode_constraint_unary_439, 4); -YAP_UserCPredicate("gecode_constraint_unary_442", gecode_constraint_unary_442, 4); -YAP_UserCPredicate("gecode_constraint_nroot_328", gecode_constraint_nroot_328, 4); -YAP_UserCPredicate("gecode_constraint_nroot_327", gecode_constraint_nroot_327, 4); -YAP_UserCPredicate("gecode_constraint_sorted_430", gecode_constraint_sorted_430, 5); +YAP_UserCPredicate("gecode_constraint_unary_448", gecode_constraint_unary_448, 4); +YAP_UserCPredicate("gecode_constraint_nroot_334", gecode_constraint_nroot_334, 4); +YAP_UserCPredicate("gecode_constraint_nroot_333", gecode_constraint_nroot_333, 4); +YAP_UserCPredicate("gecode_constraint_sorted_436", gecode_constraint_sorted_436, 5); YAP_UserCPredicate("gecode_constraint_circuit_80", gecode_constraint_circuit_80, 5); YAP_UserCPredicate("gecode_constraint_circuit_77", gecode_constraint_circuit_77, 5); YAP_UserCPredicate("gecode_constraint_circuit_74", gecode_constraint_circuit_74, 5); @@ -374,9 +376,9 @@ YAP_UserCPredicate("gecode_constraint_assign_8", gecode_constraint_assign_8, 5); YAP_UserCPredicate("gecode_constraint_assign_5", gecode_constraint_assign_5, 5); YAP_UserCPredicate("gecode_constraint_assign_11", gecode_constraint_assign_11, 5); YAP_UserCPredicate("gecode_constraint_assign_14", gecode_constraint_assign_14, 5); -YAP_UserCPredicate("gecode_constraint_rel_389", gecode_constraint_rel_389, 3); -YAP_UserCPredicate("gecode_constraint_rel_379", gecode_constraint_rel_379, 3); -YAP_UserCPredicate("gecode_constraint_path_346", gecode_constraint_path_346, 4); +YAP_UserCPredicate("gecode_constraint_rel_395", gecode_constraint_rel_395, 3); +YAP_UserCPredicate("gecode_constraint_rel_385", gecode_constraint_rel_385, 3); +YAP_UserCPredicate("gecode_constraint_path_352", gecode_constraint_path_352, 4); YAP_UserCPredicate("gecode_constraint_branch_45", gecode_constraint_branch_45, 4); YAP_UserCPredicate("gecode_constraint_branch_29", gecode_constraint_branch_29, 4); YAP_UserCPredicate("gecode_constraint_branch_23", gecode_constraint_branch_23, 4); @@ -385,15 +387,15 @@ YAP_UserCPredicate("gecode_constraint_branch_35", gecode_constraint_branch_35, 4 YAP_UserCPredicate("gecode_constraint_branch_47", gecode_constraint_branch_47, 4); YAP_UserCPredicate("gecode_constraint_branch_41", gecode_constraint_branch_41, 4); YAP_UserCPredicate("gecode_constraint_branch_49", gecode_constraint_branch_49, 4); -YAP_UserCPredicate("gecode_constraint_mult_316", gecode_constraint_mult_316, 5); +YAP_UserCPredicate("gecode_constraint_mult_322", gecode_constraint_mult_322, 5); YAP_UserCPredicate("gecode_constraint_circuit_81", gecode_constraint_circuit_81, 6); YAP_UserCPredicate("gecode_constraint_circuit_78", gecode_constraint_circuit_78, 6); YAP_UserCPredicate("gecode_constraint_circuit_75", gecode_constraint_circuit_75, 6); YAP_UserCPredicate("gecode_constraint_clause_88", gecode_constraint_clause_88, 5); YAP_UserCPredicate("gecode_constraint_clause_86", gecode_constraint_clause_86, 5); -YAP_UserCPredicate("gecode_constraint_precede_358", gecode_constraint_precede_358, 4); -YAP_UserCPredicate("gecode_constraint_precede_355", gecode_constraint_precede_355, 4); -YAP_UserCPredicate("gecode_constraint_precede_354", gecode_constraint_precede_354, 4); +YAP_UserCPredicate("gecode_constraint_precede_364", gecode_constraint_precede_364, 4); +YAP_UserCPredicate("gecode_constraint_precede_361", gecode_constraint_precede_361, 4); +YAP_UserCPredicate("gecode_constraint_precede_360", gecode_constraint_precede_360, 4); YAP_UserCPredicate("gecode_constraint_channel_69", gecode_constraint_channel_69, 6); YAP_UserCPredicate("gecode_constraint_cumulative_126", gecode_constraint_cumulative_126, 7); YAP_UserCPredicate("gecode_constraint_cumulative_129", gecode_constraint_cumulative_129, 7); @@ -407,18 +409,20 @@ YAP_UserCPredicate("gecode_constraint_cumulative_137", gecode_constraint_cumulat YAP_UserCPredicate("gecode_constraint_cumulative_131", gecode_constraint_cumulative_131, 7); YAP_UserCPredicate("gecode_constraint_distinct_161", gecode_constraint_distinct_161, 3); YAP_UserCPredicate("gecode_constraint_distinct_158", gecode_constraint_distinct_158, 3); -YAP_UserCPredicate("gecode_constraint_member_303", gecode_constraint_member_303, 5); -YAP_UserCPredicate("gecode_constraint_member_299", gecode_constraint_member_299, 5); -YAP_UserCPredicate("gecode_constraint_mod_312", gecode_constraint_mod_312, 4); -YAP_UserCPredicate("gecode_constraint_sqr_434", gecode_constraint_sqr_434, 3); -YAP_UserCPredicate("gecode_constraint_sqr_433", gecode_constraint_sqr_433, 3); -YAP_UserCPredicate("gecode_constraint_sequence_426", gecode_constraint_sequence_426, 7); -YAP_UserCPredicate("gecode_constraint_sequence_424", gecode_constraint_sequence_424, 7); +YAP_UserCPredicate("gecode_constraint_member_309", gecode_constraint_member_309, 5); +YAP_UserCPredicate("gecode_constraint_member_305", gecode_constraint_member_305, 5); +YAP_UserCPredicate("gecode_constraint_mod_318", gecode_constraint_mod_318, 4); +YAP_UserCPredicate("gecode_constraint_sqr_440", gecode_constraint_sqr_440, 3); +YAP_UserCPredicate("gecode_constraint_sqr_439", gecode_constraint_sqr_439, 3); +YAP_UserCPredicate("gecode_constraint_sequence_432", gecode_constraint_sequence_432, 7); +YAP_UserCPredicate("gecode_constraint_sequence_430", gecode_constraint_sequence_430, 7); +YAP_UserCPredicate("gecode_constraint_path_350", gecode_constraint_path_350, 7); +YAP_UserCPredicate("gecode_constraint_path_347", gecode_constraint_path_347, 7); YAP_UserCPredicate("gecode_constraint_path_344", gecode_constraint_path_344, 7); -YAP_UserCPredicate("gecode_constraint_path_341", gecode_constraint_path_341, 7); -YAP_UserCPredicate("gecode_constraint_path_338", gecode_constraint_path_338, 7); YAP_UserCPredicate("gecode_constraint_divmod_166", gecode_constraint_divmod_166, 6); -YAP_UserCPredicate("gecode_constraint_sorted_431", gecode_constraint_sorted_431, 3); +YAP_UserCPredicate("gecode_constraint_sorted_437", gecode_constraint_sorted_437, 3); +YAP_UserCPredicate("gecode_constraint_extensional_250", gecode_constraint_extensional_250, 4); +YAP_UserCPredicate("gecode_constraint_extensional_247", gecode_constraint_extensional_247, 4); YAP_UserCPredicate("gecode_constraint_circuit_84", gecode_constraint_circuit_84, 3); YAP_UserCPredicate("gecode_constraint_circuit_83", gecode_constraint_circuit_83, 3); YAP_UserCPredicate("gecode_constraint_channel_71", gecode_constraint_channel_71, 3); @@ -449,34 +453,36 @@ YAP_UserCPredicate("gecode_constraint_cumulatives_146", gecode_constraint_cumula YAP_UserCPredicate("gecode_constraint_cumulatives_144", gecode_constraint_cumulatives_144, 8); YAP_UserCPredicate("gecode_constraint_cumulatives_142", gecode_constraint_cumulatives_142, 8); YAP_UserCPredicate("gecode_constraint_binpacking_55", gecode_constraint_binpacking_55, 5); -YAP_UserCPredicate("gecode_constraint_linear_283", gecode_constraint_linear_283, 6); -YAP_UserCPredicate("gecode_constraint_linear_287", gecode_constraint_linear_287, 6); -YAP_UserCPredicate("gecode_constraint_linear_251", gecode_constraint_linear_251, 6); -YAP_UserCPredicate("gecode_constraint_linear_255", gecode_constraint_linear_255, 6); -YAP_UserCPredicate("gecode_constraint_linear_259", gecode_constraint_linear_259, 6); +YAP_UserCPredicate("gecode_constraint_extensional_249", gecode_constraint_extensional_249, 3); +YAP_UserCPredicate("gecode_constraint_extensional_246", gecode_constraint_extensional_246, 3); +YAP_UserCPredicate("gecode_constraint_linear_289", gecode_constraint_linear_289, 6); +YAP_UserCPredicate("gecode_constraint_linear_293", gecode_constraint_linear_293, 6); YAP_UserCPredicate("gecode_constraint_linear_257", gecode_constraint_linear_257, 6); -YAP_UserCPredicate("gecode_constraint_linear_274", gecode_constraint_linear_274, 6); -YAP_UserCPredicate("gecode_constraint_linear_273", gecode_constraint_linear_273, 6); -YAP_UserCPredicate("gecode_constraint_linear_278", gecode_constraint_linear_278, 6); -YAP_UserCPredicate("gecode_constraint_linear_277", gecode_constraint_linear_277, 6); -YAP_UserCPredicate("gecode_constraint_linear_266", gecode_constraint_linear_266, 6); +YAP_UserCPredicate("gecode_constraint_linear_261", gecode_constraint_linear_261, 6); YAP_UserCPredicate("gecode_constraint_linear_265", gecode_constraint_linear_265, 6); -YAP_UserCPredicate("gecode_constraint_linear_270", gecode_constraint_linear_270, 6); -YAP_UserCPredicate("gecode_constraint_linear_269", gecode_constraint_linear_269, 6); -YAP_UserCPredicate("gecode_constraint_nooverlap_323", gecode_constraint_nooverlap_323, 7); -YAP_UserCPredicate("gecode_constraint_nooverlap_318", gecode_constraint_nooverlap_318, 7); +YAP_UserCPredicate("gecode_constraint_linear_263", gecode_constraint_linear_263, 6); +YAP_UserCPredicate("gecode_constraint_linear_280", gecode_constraint_linear_280, 6); +YAP_UserCPredicate("gecode_constraint_linear_279", gecode_constraint_linear_279, 6); +YAP_UserCPredicate("gecode_constraint_linear_284", gecode_constraint_linear_284, 6); +YAP_UserCPredicate("gecode_constraint_linear_283", gecode_constraint_linear_283, 6); +YAP_UserCPredicate("gecode_constraint_linear_272", gecode_constraint_linear_272, 6); +YAP_UserCPredicate("gecode_constraint_linear_271", gecode_constraint_linear_271, 6); +YAP_UserCPredicate("gecode_constraint_linear_276", gecode_constraint_linear_276, 6); +YAP_UserCPredicate("gecode_constraint_linear_275", gecode_constraint_linear_275, 6); +YAP_UserCPredicate("gecode_constraint_nooverlap_329", gecode_constraint_nooverlap_329, 7); +YAP_UserCPredicate("gecode_constraint_nooverlap_324", gecode_constraint_nooverlap_324, 7); YAP_UserCPredicate("gecode_constraint_div_164", gecode_constraint_div_164, 5); -YAP_UserCPredicate("gecode_constraint_sqr_435", gecode_constraint_sqr_435, 4); +YAP_UserCPredicate("gecode_constraint_sqr_441", gecode_constraint_sqr_441, 4); +YAP_UserCPredicate("gecode_constraint_path_351", gecode_constraint_path_351, 8); +YAP_UserCPredicate("gecode_constraint_path_348", gecode_constraint_path_348, 8); YAP_UserCPredicate("gecode_constraint_path_345", gecode_constraint_path_345, 8); -YAP_UserCPredicate("gecode_constraint_path_342", gecode_constraint_path_342, 8); -YAP_UserCPredicate("gecode_constraint_path_339", gecode_constraint_path_339, 8); -YAP_UserCPredicate("gecode_constraint_unary_447", gecode_constraint_unary_447, 5); -YAP_UserCPredicate("gecode_constraint_unary_450", gecode_constraint_unary_450, 5); -YAP_UserCPredicate("gecode_constraint_unary_443", gecode_constraint_unary_443, 5); +YAP_UserCPredicate("gecode_constraint_unary_453", gecode_constraint_unary_453, 5); +YAP_UserCPredicate("gecode_constraint_unary_456", gecode_constraint_unary_456, 5); +YAP_UserCPredicate("gecode_constraint_unary_449", gecode_constraint_unary_449, 5); +YAP_UserCPredicate("gecode_constraint_unary_452", gecode_constraint_unary_452, 5); YAP_UserCPredicate("gecode_constraint_unary_446", gecode_constraint_unary_446, 5); -YAP_UserCPredicate("gecode_constraint_unary_440", gecode_constraint_unary_440, 5); -YAP_UserCPredicate("gecode_constraint_sorted_429", gecode_constraint_sorted_429, 4); -YAP_UserCPredicate("gecode_constraint_sorted_432", gecode_constraint_sorted_432, 4); +YAP_UserCPredicate("gecode_constraint_sorted_435", gecode_constraint_sorted_435, 4); +YAP_UserCPredicate("gecode_constraint_sorted_438", gecode_constraint_sorted_438, 4); YAP_UserCPredicate("gecode_constraint_element_223", gecode_constraint_element_223, 8); YAP_UserCPredicate("gecode_constraint_element_217", gecode_constraint_element_217, 8); YAP_UserCPredicate("gecode_constraint_element_235", gecode_constraint_element_235, 8); @@ -500,7 +506,7 @@ YAP_UserCPredicate("gecode_constraint_element_238", gecode_constraint_element_23 YAP_UserCPredicate("gecode_constraint_element_231", gecode_constraint_element_231, 5); YAP_UserCPredicate("gecode_constraint_element_237", gecode_constraint_element_237, 5); YAP_UserCPredicate("gecode_constraint_element_229", gecode_constraint_element_229, 5); -YAP_UserCPredicate("gecode_constraint_sequence_428", gecode_constraint_sequence_428, 3); +YAP_UserCPredicate("gecode_constraint_sequence_434", gecode_constraint_sequence_434, 3); YAP_UserCPredicate("gecode_constraint_branch_30", gecode_constraint_branch_30, 5); YAP_UserCPredicate("gecode_constraint_branch_26", gecode_constraint_branch_26, 5); YAP_UserCPredicate("gecode_constraint_branch_24", gecode_constraint_branch_24, 5); @@ -509,10 +515,10 @@ YAP_UserCPredicate("gecode_constraint_branch_36", gecode_constraint_branch_36, 5 YAP_UserCPredicate("gecode_constraint_branch_42", gecode_constraint_branch_42, 5); YAP_UserCPredicate("gecode_constraint_branch_38", gecode_constraint_branch_38, 5); YAP_UserCPredicate("gecode_constraint_circuit_79", gecode_constraint_circuit_79, 7); -YAP_UserCPredicate("gecode_constraint_pow_351", gecode_constraint_pow_351, 4); -YAP_UserCPredicate("gecode_constraint_pow_350", gecode_constraint_pow_350, 4); -YAP_UserCPredicate("gecode_constraint_precede_357", gecode_constraint_precede_357, 3); -YAP_UserCPredicate("gecode_constraint_precede_353", gecode_constraint_precede_353, 3); +YAP_UserCPredicate("gecode_constraint_pow_357", gecode_constraint_pow_357, 4); +YAP_UserCPredicate("gecode_constraint_pow_356", gecode_constraint_pow_356, 4); +YAP_UserCPredicate("gecode_constraint_precede_363", gecode_constraint_precede_363, 3); +YAP_UserCPredicate("gecode_constraint_precede_359", gecode_constraint_precede_359, 3); YAP_UserCPredicate("gecode_constraint_cumulative_128", gecode_constraint_cumulative_128, 6); YAP_UserCPredicate("gecode_constraint_cumulative_124", gecode_constraint_cumulative_124, 6); YAP_UserCPredicate("gecode_constraint_cumulative_118", gecode_constraint_cumulative_118, 6); @@ -522,16 +528,16 @@ YAP_UserCPredicate("gecode_constraint_cumulative_136", gecode_constraint_cumulat YAP_UserCPredicate("gecode_constraint_cumulative_130", gecode_constraint_cumulative_130, 6); YAP_UserCPredicate("gecode_constraint_cumulative_133", gecode_constraint_cumulative_133, 6); YAP_UserCPredicate("gecode_constraint_distinct_159", gecode_constraint_distinct_159, 4); -YAP_UserCPredicate("gecode_constraint_min_304", gecode_constraint_min_304, 3); -YAP_UserCPredicate("gecode_constraint_min_305", gecode_constraint_min_305, 3); YAP_UserCPredicate("gecode_constraint_min_310", gecode_constraint_min_310, 3); -YAP_UserCPredicate("gecode_constraint_sqrt_438", gecode_constraint_sqrt_438, 4); -YAP_UserCPredicate("gecode_constraint_sequence_425", gecode_constraint_sequence_425, 6); -YAP_UserCPredicate("gecode_constraint_sequence_423", gecode_constraint_sequence_423, 6); -YAP_UserCPredicate("gecode_constraint_unshare_454", gecode_constraint_unshare_454, 3); -YAP_UserCPredicate("gecode_constraint_unshare_452", gecode_constraint_unshare_452, 3); -YAP_UserCPredicate("gecode_constraint_path_349", gecode_constraint_path_349, 6); -YAP_UserCPredicate("gecode_constraint_path_340", gecode_constraint_path_340, 6); +YAP_UserCPredicate("gecode_constraint_min_311", gecode_constraint_min_311, 3); +YAP_UserCPredicate("gecode_constraint_min_316", gecode_constraint_min_316, 3); +YAP_UserCPredicate("gecode_constraint_sqrt_444", gecode_constraint_sqrt_444, 4); +YAP_UserCPredicate("gecode_constraint_sequence_431", gecode_constraint_sequence_431, 6); +YAP_UserCPredicate("gecode_constraint_sequence_429", gecode_constraint_sequence_429, 6); +YAP_UserCPredicate("gecode_constraint_unshare_460", gecode_constraint_unshare_460, 3); +YAP_UserCPredicate("gecode_constraint_unshare_458", gecode_constraint_unshare_458, 3); +YAP_UserCPredicate("gecode_constraint_path_355", gecode_constraint_path_355, 6); +YAP_UserCPredicate("gecode_constraint_path_346", gecode_constraint_path_346, 6); YAP_UserCPredicate("gecode_constraint_divmod_165", gecode_constraint_divmod_165, 5); YAP_UserCPredicate("gecode_constraint_branch_31", gecode_constraint_branch_31, 6); YAP_UserCPredicate("gecode_constraint_branch_27", gecode_constraint_branch_27, 6); @@ -540,11 +546,11 @@ YAP_UserCPredicate("gecode_constraint_branch_33", gecode_constraint_branch_33, 6 YAP_UserCPredicate("gecode_constraint_branch_37", gecode_constraint_branch_37, 6); YAP_UserCPredicate("gecode_constraint_branch_43", gecode_constraint_branch_43, 6); YAP_UserCPredicate("gecode_constraint_branch_39", gecode_constraint_branch_39, 6); -YAP_UserCPredicate("gecode_constraint_nooverlap_322", gecode_constraint_nooverlap_322, 9); +YAP_UserCPredicate("gecode_constraint_nooverlap_328", gecode_constraint_nooverlap_328, 9); YAP_UserCPredicate("gecode_constraint_cumulative_120", gecode_constraint_cumulative_120, 5); YAP_UserCPredicate("gecode_constraint_cumulative_132", gecode_constraint_cumulative_132, 5); -YAP_UserCPredicate("gecode_constraint_member_300", gecode_constraint_member_300, 3); -YAP_UserCPredicate("gecode_constraint_member_296", gecode_constraint_member_296, 3); +YAP_UserCPredicate("gecode_constraint_member_306", gecode_constraint_member_306, 3); +YAP_UserCPredicate("gecode_constraint_member_302", gecode_constraint_member_302, 3); YAP_UserCPredicate("gecode_constraint_count_111", gecode_constraint_count_111, 6); YAP_UserCPredicate("gecode_constraint_count_113", gecode_constraint_count_113, 6); YAP_UserCPredicate("gecode_constraint_count_115", gecode_constraint_count_115, 6); @@ -553,8 +559,8 @@ YAP_UserCPredicate("gecode_constraint_count_103", gecode_constraint_count_103, 6 YAP_UserCPredicate("gecode_constraint_count_105", gecode_constraint_count_105, 6); YAP_UserCPredicate("gecode_constraint_count_93", gecode_constraint_count_93, 6); YAP_UserCPredicate("gecode_constraint_count_95", gecode_constraint_count_95, 6); -YAP_UserCPredicate("gecode_constraint_pow_352", gecode_constraint_pow_352, 5); -YAP_UserCPredicate("gecode_constraint_notMin_326", gecode_constraint_notMin_326, 3); +YAP_UserCPredicate("gecode_constraint_pow_358", gecode_constraint_pow_358, 5); +YAP_UserCPredicate("gecode_constraint_notMin_332", gecode_constraint_notMin_332, 3); YAP_UserCPredicate("gecode_constraint_cumulative_127", gecode_constraint_cumulative_127, 8); YAP_UserCPredicate("gecode_constraint_cumulative_123", gecode_constraint_cumulative_123, 8); YAP_UserCPredicate("gecode_constraint_cumulative_139", gecode_constraint_cumulative_139, 8); @@ -577,54 +583,54 @@ YAP_UserCPredicate("gecode_constraint_dom_203", gecode_constraint_dom_203, 3); YAP_UserCPredicate("gecode_constraint_dom_191", gecode_constraint_dom_191, 3); YAP_UserCPredicate("gecode_constraint_dom_182", gecode_constraint_dom_182, 3); YAP_UserCPredicate("gecode_constraint_dom_211", gecode_constraint_dom_211, 3); -YAP_UserCPredicate("gecode_constraint_linear_263", gecode_constraint_linear_263, 5); -YAP_UserCPredicate("gecode_constraint_linear_261", gecode_constraint_linear_261, 5); -YAP_UserCPredicate("gecode_constraint_linear_250", gecode_constraint_linear_250, 5); -YAP_UserCPredicate("gecode_constraint_linear_249", gecode_constraint_linear_249, 5); -YAP_UserCPredicate("gecode_constraint_linear_254", gecode_constraint_linear_254, 5); -YAP_UserCPredicate("gecode_constraint_linear_253", gecode_constraint_linear_253, 5); -YAP_UserCPredicate("gecode_constraint_linear_258", gecode_constraint_linear_258, 5); +YAP_UserCPredicate("gecode_constraint_linear_288", gecode_constraint_linear_288, 5); +YAP_UserCPredicate("gecode_constraint_linear_287", gecode_constraint_linear_287, 5); +YAP_UserCPredicate("gecode_constraint_linear_292", gecode_constraint_linear_292, 5); +YAP_UserCPredicate("gecode_constraint_linear_291", gecode_constraint_linear_291, 5); +YAP_UserCPredicate("gecode_constraint_linear_269", gecode_constraint_linear_269, 5); +YAP_UserCPredicate("gecode_constraint_linear_267", gecode_constraint_linear_267, 5); YAP_UserCPredicate("gecode_constraint_linear_256", gecode_constraint_linear_256, 5); -YAP_UserCPredicate("gecode_constraint_linear_282", gecode_constraint_linear_282, 5); -YAP_UserCPredicate("gecode_constraint_linear_281", gecode_constraint_linear_281, 5); -YAP_UserCPredicate("gecode_constraint_linear_286", gecode_constraint_linear_286, 5); -YAP_UserCPredicate("gecode_constraint_linear_285", gecode_constraint_linear_285, 5); -YAP_UserCPredicate("gecode_constraint_linear_272", gecode_constraint_linear_272, 5); -YAP_UserCPredicate("gecode_constraint_linear_276", gecode_constraint_linear_276, 5); +YAP_UserCPredicate("gecode_constraint_linear_255", gecode_constraint_linear_255, 5); +YAP_UserCPredicate("gecode_constraint_linear_260", gecode_constraint_linear_260, 5); +YAP_UserCPredicate("gecode_constraint_linear_259", gecode_constraint_linear_259, 5); YAP_UserCPredicate("gecode_constraint_linear_264", gecode_constraint_linear_264, 5); -YAP_UserCPredicate("gecode_constraint_linear_268", gecode_constraint_linear_268, 5); -YAP_UserCPredicate("gecode_constraint_nooverlap_317", gecode_constraint_nooverlap_317, 6); -YAP_UserCPredicate("gecode_constraint_nooverlap_320", gecode_constraint_nooverlap_320, 6); +YAP_UserCPredicate("gecode_constraint_linear_262", gecode_constraint_linear_262, 5); +YAP_UserCPredicate("gecode_constraint_linear_278", gecode_constraint_linear_278, 5); +YAP_UserCPredicate("gecode_constraint_linear_282", gecode_constraint_linear_282, 5); +YAP_UserCPredicate("gecode_constraint_linear_270", gecode_constraint_linear_270, 5); +YAP_UserCPredicate("gecode_constraint_linear_274", gecode_constraint_linear_274, 5); +YAP_UserCPredicate("gecode_constraint_nooverlap_323", gecode_constraint_nooverlap_323, 6); +YAP_UserCPredicate("gecode_constraint_nooverlap_326", gecode_constraint_nooverlap_326, 6); YAP_UserCPredicate("gecode_constraint_element_245", gecode_constraint_element_245, 6); YAP_UserCPredicate("gecode_constraint_element_243", gecode_constraint_element_243, 6); YAP_UserCPredicate("gecode_constraint_element_241", gecode_constraint_element_241, 6); YAP_UserCPredicate("gecode_constraint_element_239", gecode_constraint_element_239, 6); -YAP_UserCPredicate("gecode_constraint_rel_395", gecode_constraint_rel_395, 4); -YAP_UserCPredicate("gecode_constraint_rel_397", gecode_constraint_rel_397, 4); -YAP_UserCPredicate("gecode_constraint_rel_413", gecode_constraint_rel_413, 4); -YAP_UserCPredicate("gecode_constraint_rel_411", gecode_constraint_rel_411, 4); -YAP_UserCPredicate("gecode_constraint_rel_383", gecode_constraint_rel_383, 4); -YAP_UserCPredicate("gecode_constraint_rel_384", gecode_constraint_rel_384, 4); -YAP_UserCPredicate("gecode_constraint_rel_381", gecode_constraint_rel_381, 4); -YAP_UserCPredicate("gecode_constraint_rel_377", gecode_constraint_rel_377, 4); -YAP_UserCPredicate("gecode_constraint_rel_375", gecode_constraint_rel_375, 4); -YAP_UserCPredicate("gecode_constraint_rel_380", gecode_constraint_rel_380, 4); -YAP_UserCPredicate("gecode_constraint_rel_371", gecode_constraint_rel_371, 4); -YAP_UserCPredicate("gecode_constraint_rel_367", gecode_constraint_rel_367, 4); -YAP_UserCPredicate("gecode_constraint_rel_391", gecode_constraint_rel_391, 4); -YAP_UserCPredicate("gecode_constraint_rel_393", gecode_constraint_rel_393, 4); -YAP_UserCPredicate("gecode_constraint_rel_387", gecode_constraint_rel_387, 4); -YAP_UserCPredicate("gecode_constraint_rel_390", gecode_constraint_rel_390, 4); -YAP_UserCPredicate("gecode_constraint_rel_399", gecode_constraint_rel_399, 4); +YAP_UserCPredicate("gecode_constraint_rel_401", gecode_constraint_rel_401, 4); YAP_UserCPredicate("gecode_constraint_rel_403", gecode_constraint_rel_403, 4); -YAP_UserCPredicate("gecode_constraint_rel_407", gecode_constraint_rel_407, 4); -YAP_UserCPredicate("gecode_constraint_rel_408", gecode_constraint_rel_408, 4); -YAP_UserCPredicate("gecode_constraint_rel_414", gecode_constraint_rel_414, 4); YAP_UserCPredicate("gecode_constraint_rel_419", gecode_constraint_rel_419, 4); -YAP_UserCPredicate("gecode_constraint_rel_421", gecode_constraint_rel_421, 4); -YAP_UserCPredicate("gecode_constraint_rel_361", gecode_constraint_rel_361, 4); -YAP_UserCPredicate("gecode_constraint_rel_359", gecode_constraint_rel_359, 4); -YAP_UserCPredicate("gecode_constraint_min_309", gecode_constraint_min_309, 5); +YAP_UserCPredicate("gecode_constraint_rel_417", gecode_constraint_rel_417, 4); +YAP_UserCPredicate("gecode_constraint_rel_389", gecode_constraint_rel_389, 4); +YAP_UserCPredicate("gecode_constraint_rel_390", gecode_constraint_rel_390, 4); +YAP_UserCPredicate("gecode_constraint_rel_387", gecode_constraint_rel_387, 4); +YAP_UserCPredicate("gecode_constraint_rel_383", gecode_constraint_rel_383, 4); +YAP_UserCPredicate("gecode_constraint_rel_381", gecode_constraint_rel_381, 4); +YAP_UserCPredicate("gecode_constraint_rel_386", gecode_constraint_rel_386, 4); +YAP_UserCPredicate("gecode_constraint_rel_377", gecode_constraint_rel_377, 4); +YAP_UserCPredicate("gecode_constraint_rel_373", gecode_constraint_rel_373, 4); +YAP_UserCPredicate("gecode_constraint_rel_397", gecode_constraint_rel_397, 4); +YAP_UserCPredicate("gecode_constraint_rel_399", gecode_constraint_rel_399, 4); +YAP_UserCPredicate("gecode_constraint_rel_393", gecode_constraint_rel_393, 4); +YAP_UserCPredicate("gecode_constraint_rel_396", gecode_constraint_rel_396, 4); +YAP_UserCPredicate("gecode_constraint_rel_405", gecode_constraint_rel_405, 4); +YAP_UserCPredicate("gecode_constraint_rel_409", gecode_constraint_rel_409, 4); +YAP_UserCPredicate("gecode_constraint_rel_413", gecode_constraint_rel_413, 4); +YAP_UserCPredicate("gecode_constraint_rel_414", gecode_constraint_rel_414, 4); +YAP_UserCPredicate("gecode_constraint_rel_420", gecode_constraint_rel_420, 4); +YAP_UserCPredicate("gecode_constraint_rel_425", gecode_constraint_rel_425, 4); +YAP_UserCPredicate("gecode_constraint_rel_427", gecode_constraint_rel_427, 4); +YAP_UserCPredicate("gecode_constraint_rel_367", gecode_constraint_rel_367, 4); +YAP_UserCPredicate("gecode_constraint_rel_365", gecode_constraint_rel_365, 4); +YAP_UserCPredicate("gecode_constraint_min_315", gecode_constraint_min_315, 5); YAP_UserCPredicate("gecode_constraint_count_108", gecode_constraint_count_108, 3); YAP_UserCPredicate("gecode_constraint_count_98", gecode_constraint_count_98, 3); -YAP_UserCPredicate("gecode_constraint_ite_247", gecode_constraint_ite_247, 6); +YAP_UserCPredicate("gecode_constraint_ite_253", gecode_constraint_ite_253, 6);