first cut at supporting TupleSets
This commit is contained in:
Vitor Santos Costa
parent
99ab8e541b
commit
12d1e17dd3
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -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);
|
||||
|
|
|
|||
Reference in New Issue