eclipseclp/ecrc_solvers/conjunto.pl

51 	fail_if:"   Fails if some elements of Lsets are not set variables or if all the set\n   variables can not be pairwise disjoint.\n\n",
79 	fail_if:"   Fails if some elements of Lsets are not set variables and if Svar can\n   not be the union of the Lsets elements.\n\n",
116 	fail_if:"   None.\n\n",
153 	fail_if:"   Fails if Sterm can not be a subset of Sterm1.\n\n",
183 	fail_if:"   Fails if SVar is not a ground set.\n\n",
209 	fail_if:"   Fails if Var is not of the form e(Val,Weight) or if Wvar is not\n   unifyable with the weight.\n\n",
236 	fail_if:"   Fails if S is not a set domain variable or if Glb is a ground set not\n   equal to the lower bound of S domain.\n\n",
263 	fail_if:"   Fails if E cannot belong to Sterm.\n\n",
296 	fail_if:"   Fails if List is not ground or if Svar is ground and different from the\n   computed set.\n\n",
323 	fail_if:"   Fails if S is not a set domain variable or if Lub is a ground set not\n   equal to the upper bound of S domain.\n\n",
352 	fail_if:"   Fails if Svar is not a weighted set term, or if Var can not be unified\n   with the extracted element.\n\n",
385 	fail_if:"   Fails if Svar is ground and different from Var or if the new upper bound\n   is not contained in the old one or the new lower bound does not contain\n   the old one.\n\n",
411 	fail_if:"   Fails if E belongs to Sterm.\n\n",
437 	fail_if:"   Fails if Svar is not a set domain variable or ground set.\n\n",
469 	fail_if:"   Fails if the two set terms have a different set value.\n\n",
503 	fail_if:"   Fails if Svar is not a set domain variable or if one of the terms glb,\n   Lub, can not be unified with the respective bounds of the domain of\n   Svar.\n\n",
532 	fail_if:"   Fails if Svar is not ground or if List is ground and different from the\n   computed list.\n\n",
564 	fail_if:"   Fails if Domain is free, or if SVar cannot have the domain Domain.\n\n",
594 	fail_if:"   Fails if Sterm can not be a subset of Sterm1.\n\n",
629 	fail_if:"   Fails if Svar is not a weighted set term or if Var can not represent the\n   weight of Svar.\n\n",