/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | mps.pl | 91 fail_if:" None.\n\n", label 101 fail_if:" None.\n\n", label 111 fail_if:" Fails if the server is not responding.\n\n", label 121 fail_if:" None.\n\n", label 131 fail_if:" None.\n\n", label 141 fail_if:" None.\n\n", label 151 fail_if:" Fails if no port is registered under the given Name and Key.\n\n", label 161 fail_if:" None.\n\n", label 171 fail_if:" Fails if no message available on the port.\n\n", label 181 fail_if label [all...] |
H A D | fd.pl | 782 fail_if:" Fails if two element of the list are equal.\n\n", label 797 fail_if:" Fails if two element of the list are equal.\n\n", label 813 fail_if:" Fails if one of C1 or C2 is false.\n\n", label 856 fail_if:" Fails if B is not the truth value of the associated constraint.\n\n", label 875 fail_if:" Fails if more than N elements of List are instantiated to V.\n\n", label 896 fail_if:" None.\n\n", label 916 fail_if:" None\n\n", label 949 fail_if:" The constraint does not hold if X=Y.\n\n", label 991 fail_if:" Fails if B is not the truth value of the associated constraint.\n\n", label 1008 fail_if label 1050 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1078 fail_if:" None.\\n\\n", label 1103 fail_if:" Fails if the element does not occur in the domain.\\n\\n", label 1126 fail_if:" Fails if neither domain is a subset of the other one.\\n\\n", label 1143 fail_if:" None.\\n\\n", label 1159 fail_if:" Fails if Dom1 is a subset of Dom2.\\n\\n", label 1185 fail_if:" None.\\n\\n", label 1214 fail_if:" Fails if the intersection is empty.\\n\\n", label 1229 fail_if:" None.\\n\\n", label 1245 fail_if:" Fails if Dom is a domain containing non-integer atomic elements.\\n\\n", label 1258 fail_if:" None.\\n\\n", label 1272 fail_if:" None.\\n\\n", label 1293 fail_if:" Fails if the union is empty.\\n\\n", label 1319 fail_if:" Fails if Vars cannot have the domain Domain.\\n\\n", label 1329 fail_if:" Fails if Vars cannot have the domain Domain.\\n\\n", label 1372 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1383 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1399 fail_if:" None.\\n\\n", label 1414 fail_if:" None.\\n\\n", label 1430 fail_if:" None.\\n\\n", label 1448 fail_if:" None.\\n\\n", label 1465 fail_if:" None.\\n\\n", label 1482 fail_if:" None.\\n\\n", label 1504 fail_if:" None.\\n\\n", label 1528 fail_if:" None.\\n\\n", label 1552 fail_if:" Fails if Value is not the Index'th element of List.\\n\\n", label 1593 fail_if:" Fails if the two linear terms have a different value.\\n\\n", label 1635 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1656 fail_if:" Fails if C1 and C2 are not bothe true or both false.\\n\\n", label 1698 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1716 fail_if:" Fails C fails.\\n\\n", label 1740 fail_if:" Fails if X is not greater than Y.\\n\\n", label 1782 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1806 fail_if:" Fails if X is less than Y.\\n\\n", label 1848 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1867 fail_if:" Fails if C1 is true and C2 is false.\\n\\n", label 1909 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 1935 fail_if:" None.\\n\\n", label 1958 fail_if:" None.\\n\\n", label 1973 fail_if:" Fails if Term is not a domain variable.\\n\\n", label 1988 fail_if:" Fails if Term is not an integer domain variable.\\n\\n", label 2011 fail_if:" Fails if both C is true.\\n\\n", label 2026 fail_if:" None.\\n\\n", label 2051 fail_if:" Fails if X is not less than Y.\\n\\n", label 2093 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 2117 fail_if:" Fails if X is greater than Y.\\n\\n", label 2159 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 2175 fail_if:" None.\\n\\n", label 2199 fail_if:" Fails if the current cost cannot become smaller that the cost bound.\\n\\n", label 2231 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2265 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2333 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2368 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2416 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2471 fail_if:" None.\\n\\n", label 2495 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2527 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2596 fail_if:" Fails if Goal fails.\\n\\n", label 2631 fail_if:" Fails if Goal fails.\\n\\n", label 2680 fail_if:" Fails if there is no solution to Goal.\\n\\n", label 2738 fail_if:" None.\\n\\n", label 2769 fail_if:" Fails if both C is true.\\n\\n", label 2811 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 2831 fail_if:" Fails if both C1 and C2 are false.\\n\\n", label 2873 fail_if:" Fails if B is not the truth value of the associated constraint.\\n\\n", label 2901 fail_if:" None.\\n\\n", label 2919 fail_if:" None.\\n\\n", label 2937 fail_if:" Fails if Var is not a variable.\\n\\n", label 2958 fail_if:" None.\\n\\n", label 2979 fail_if:" Fails if List is empty.\\n\\n", label 3016 fail_if:" Fails if there is no possibility to schedule given two tasks in any\\n order under given conditions.\\n\\n", label 3057 fail_if:" Fails if there is no possibility to schedule given two tasks in any\\n order under given conditions.\\n\\n", label 3110 fail_if:" Fails, if no possible ordering of given list of tasks exist.\\n\\n", label 3161 fail_if:" None.\\n\\n", label 3189 fail_if:" Fails if List is nil.\\n\\n", label 3218 fail_if:" Fails if List is nil.\\n\\n", label 3226 fail_if: " Fails if Vars contains non-integers, or variables with non-integer domains.", label [all...] |
H A D | suspend.pl | 744 fail_if: "Vars contains numbers that do not fall within Range, or violate the optional integrality constraint.", label 784 fail_if: "Vars contains non-integers or integers that do not fall within Range.", label 812 fail_if: "Vars contains numbers that do not fall within Range.", label 954 fail_if: "Vars contains non-integers.", label 964 fail_if: "Vars contains non-numbers.", label 981 fail_if:" fails if the value of Expr1 is not equal to the value of Expr2", label 996 fail_if:" fails if the value of Expr1 is equal to the value of Expr2", label 1011 fail_if:" fails if the value of Expr1 is smaller than the value of Expr2", label 1026 fail_if:" fails if the value of Expr1 is greater than the value of Expr2", label 1041 fail_if label 1056 fail_if:" fails if the value of Expr1 is not less than the value of Expr2", label 1071 fail_if:" fails if the value of Expr1 is not equal to the value of Expr2", label 1086 fail_if:" fails if the value of Expr1 is equal to the value of Expr2", label 1101 fail_if:" fails if the value of Expr1 is smaller than the value of Expr2", label 1116 fail_if:" fails if the value of Expr1 is greater than the value of Expr2", label 1131 fail_if:" fails if the value of Expr1 is not greater than the value of Expr2", label 1146 fail_if:" fails if the value of Expr1 is not less than the value of Expr2", label 1162 fail_if:" fails if the value of Expr1 is not equal to the value of Expr2, or if either do not evaluate to an integer.", label 1178 fail_if:" fails if the value of Expr1 is equal to the value of Expr2, or if either do not evaluate to an integer.", label 1194 fail_if:" fails if the value of Expr1 is less than the value of Expr2, or if either do not evaluate to an integer.", label 1210 fail_if:" fails if the value of Expr1 is greater than the value of Expr2, or if either do not evaluate to an integer.", label 1226 fail_if:" fails if the value of Expr1 is not greater than the value of Expr2, or if either do not evaluate to an integer.", label 1242 fail_if:" fails if the value of Expr1 is not less than the value of Expr2, or if either do not evaluate to an integer.", label 1529 fail_if:"Expr1 or Expr2 do not both evaluate to 1", label 1568 fail_if:"Neither Expr1 nor Expr2 evaluates to 1", label 1607 fail_if:"Expr1 evaluates to 1 and Expr2 evaluates to 0", label 1660 fail_if:"Expr does not evaluate to 0", label [all...] |
H A D | lists.pl | 290 fail_if:"Collection is not a collection", label 407 fail_if:"Collection is not a collection", label 675 fail_if:" Fails if List2 does not unify with List1 less an occurence of Element.\n\n", label 730 fail_if:" Fails if List2 does not unify with List1 less an occurence of Element.\n\n", label 760 fail_if:" Fails if Common does not unify with the list which contains the common\n elements of List1 and List2.\n\n", label 797 fail_if:" Fails if the length of list List does not unify with N.\n\n", label 825 fail_if:" Fails if Term does not unify with a member of the list List.\n\n", label 849 fail_if:" Fails if Term is not a member of the list List.\n\n", label 874 fail_if:" Fails if Element is an element of the list List.\n\n", label 903 fail_if label 932 fail_if:" Fails if Union does not unify with the list which contains the union of\\n elements in List1 and those in List2.\\n\\n", label 956 fail_if:" Fails if Reverse does not unify with the reversed version of List.\\n\\n", label 980 fail_if:" Fails if List3 does not unify with the result of appending List2 to\\n List1.\\n\\n", label 1008 fail_if:"Fails if at least for one element of List the invocation of Pred with this additional argument fails.", label 1038 fail_if:" Fails if FlatList does not unify with the flattened version of\\n NestedList.\\n\\n", label 1059 fail_if:" Fails if FlatList does not unify with the flattened version of\\n NestedList.\\n\\n", label 1108 fail_if:"Fails if at least for one pair of corresponding elements of OldList and NewList the invocation of Pred with these two additional arguments fails", label 1135 fail_if:" Fails if SubList does not unify with a list whose elements are all\\n contained in List in the same order as in SubList.\\n\\n", label [all...] |
H A D | remote_tools.pl | 159 fail_if: "Development tools already attached.", label 219 fail_if: " Development tools already attached, or waiting TimeOut seconds label 228 fail_if: "Remote tools are not currently attached.", label
|
H A D | cgi.pl | 57 fail_if:"There was a problem obtaining the parameters from the environment", label
|
H A D | ordset.pl | 156 fail_if:"Term is not a member of Set" label 196 fail_if:"Term is not a member of Set", label 216 fail_if:"Term is a member of Set" label 233 fail_if:"Fails if the sets are not comparable", label 669 fail_if:"Fails if the sets are not disjoint", label
|
H A D | source_storage.pl | 263 % Also eliminate: \+ not fail_if call once. 316 comma_to_list(fail_if(Goal), [(Goal,fail;true)|List], List) :- !.
|
H A D | setof.pl | 287 explicit_binding(fail_if(_), Bound, fail, Bound ) :- !.
|
H A D | asm.pl | 154 fail_if:" None.", label 183 fail_if:" None.", label 211 fail_if:" Fails if WAMCode is initially instantiated and does not unify with the WAM code generated by asm/1 for the predicate, or if PredSpec is dynamic.", label 254 fail_if:" Fails if WAMCode is initially instantiated and does not unify with the WAM code generated by asm/1 for the predicate, or if PredSpec is dynamic.", label 283 fail_if:" If WAMCode is not in correct format.", label 300 fail_if:"If Object is not portable between 32/64 bit.", label 331 fail_if:" If PredSpec is a dynamic predicate.", label 360 fail_if:" If PredSpec is a dynamic predicate.", label
|
H A D | branch_and_bound.pl | 775 fail_if:"Goal has no solutions", label 872 fail_if:"Goal has no solutions", label 1027 fail_if:"Goal has no solutions", label
|
H A D | toplevel.pl | 660 fail_if:" None.\n\n", label
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | mercury.pl | 40 fail_if: "Never fails.", label 55 fail_if: "Never fails.", label
|
H A D | m_map.pl | 108 fail_if: "Never fails.", label 119 fail_if: "Fails if Map is not an empty map.", label 131 fail_if: "Fails if Key does not appear in Map.", label 154 fail_if: "Fails if Key and Value do not unify with a key/value pair from Map.", label 181 fail_if: "Fails if Key does not appear in Map or if Value does not unify with the corresponding value found.", label 205 fail_if: "Fails if Value does not unify with the value corresponding to Key.", label 231 fail_if: "Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.", label 259 fail_if: "Fails if Key and Value do not unify with the key and value found.", label 288 fail_if: "Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.", label 316 fail_if label 344 fail_if: "Fails if Value does not appear in Map or if Key does not unify with any corresponding keys found.", label 369 fail_if: "Fails if Key already appears in Map0.", label 394 fail_if: "Never fails.", label 420 fail_if: "Fails if the lists aren't the same length.", label 446 fail_if: "Never fails.", label 472 fail_if: "Fails if Key does not appear in Map0.", label 497 fail_if: "Never fails.", label 524 fail_if: "Never fails.", label 548 fail_if: "Never fails.", label 569 fail_if: "Never fails.", label 591 fail_if: "Never fails.", label 612 fail_if: "Never fails.", label 634 fail_if: "Never fails.", label 656 fail_if: "Never fails.", label 676 fail_if: "Never fails.", label 698 fail_if: "Never fails.", label 723 fail_if: "Never fails.", label 748 fail_if: "Fails is Key does not appear in Map0 or if Value does not unify with the corresponding value.", label 773 fail_if: "Fails if Value does not unify with the value corresponding to Key.", label 797 fail_if: "Fails if Count does not unify with the number of elements in Map.", label 819 fail_if: "Fails if the lists aren't the same length.", label 840 fail_if: "Never fails.", label 866 fail_if: "Never fails.", label 894 fail_if: "Never fails.", label 917 fail_if: "Fails if ValueList does not unify with the list of values corresponding to KeyList.", label 941 fail_if: "Never fails.", label 966 fail_if: "Fails if Map0 is empty or if Key and Value do not unify with the key and value removed.", label [all...] |
H A D | m_tree234.pl | 76 fail_if: "Never fails.", label 87 fail_if: "Fails if Tree is not an empty tree.", label 100 fail_if: "Fails if Key and Value do not unify with a key/value pair from Tree.", label 126 fail_if: "Fails if Key does not appear in Tree or if Value does not unify with the corresponding value found.", label 150 fail_if: "Fails if Value does not unify with the value corresponding to Key.", label 176 fail_if: "Fails if there are no keys at least as large as SearchKey in Tree or if Key and Value do not unify with the key and value found.", label 204 fail_if: "Fails if Key and Value do not unify with the key and value found.", label 233 fail_if: "Fails if there are no keys at least as large as SearchKey in Tree or if Key and Value do not unify with the key and value found.", label 261 fail_if: "Fails if Key and Value do not unify with the key and value found.", label 292 fail_if label 319 fail_if: "Never fails.", label 346 fail_if: "Never fails.", label 373 fail_if: "Fails is Key does not appear in Tree0 or if Value does not unify with the corresponding value.", label 401 fail_if: "Fails if Tree0 is empty or if Key and Value do not unify with the key and value removed.", label 424 fail_if: "Never fails.", label 445 fail_if: "Never fails.", label 470 fail_if: "Fails if Key does not appear in Tree0.", label 494 fail_if: "Fails if Count does not unify with the number of elements in Tree.", label 515 fail_if: "Never fails.", label 535 fail_if: "Never fails.", label [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | 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", label 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", label 116 fail_if:" None.\n\n", label 153 fail_if:" Fails if Sterm can not be a subset of Sterm1.\n\n", label 183 fail_if:" Fails if SVar is not a ground set.\n\n", label 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", label 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", label 263 fail_if:" Fails if E cannot belong to Sterm.\n\n", label 296 fail_if:" Fails if List is not ground or if Svar is ground and different from the\n computed set.\n\n", label 323 fail_if label 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", label 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", label 411 fail_if:" Fails if E belongs to Sterm.\\n\\n", label 437 fail_if:" Fails if Svar is not a set domain variable or ground set.\\n\\n", label 469 fail_if:" Fails if the two set terms have a different set value.\\n\\n", label 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", label 532 fail_if:" Fails if Svar is not ground or if List is ground and different from the\\n computed list.\\n\\n", label 564 fail_if:" Fails if Domain is free, or if SVar cannot have the domain Domain.\\n\\n", label 594 fail_if:" Fails if Sterm can not be a subset of Sterm1.\\n\\n", label 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", label [all...] |
H A D | chr_doc.pl | 37 fail_if:" None.\n\n", label 63 fail_if:" None.\n\n", label 92 fail_if:" Fails if there is no constraint (defined by constraint handling rules)\n in the constraint store that unifies with Constraint.\n\n", label 173 fail_if:" Fails if Variable is not a free variable or if there is no constraint\n (defined by constraint handling rules) in the constraint store that\n unifies with Constraint and in which the variable Variable occurs.\n\n", label 226 fail_if:" Fails if Constraint is a variable or if Constraint does not have a\n label_with declaration or if the guard of all unifying label_with\n declarations fail.\n\n", label 267 fail_if:" None, only on backtracking.\n\n", label 324 fail_if:" None.\n\n", label 401 fail_if:" None.\n\n", label 417 fail_if:" Fails if there are no Prolog clauses for the constraint or if the bodies\n of all clauses fail.\n\n", label 511 fail_if label [all...] |
H A D | r.pl | 2097 fail_if:" Fails if adding the constraint T1 $= T2 to the constraint store produces\n an infeasible set of constraints.\n\n", label 2122 fail_if:" None.\n\n", label 2148 fail_if:" None.\n\n", label 2172 fail_if:" Fails if the rational term (T1 - T2) becomes ground, taking a value of\n zero.\n\n", label 2197 fail_if:" None.\n\n", label 2223 fail_if:" None.\n\n", label 2252 fail_if:" None\n\n", label 2285 fail_if:" None.\n\n", label
|
H A D | propia.pl | 91 fail_if:"Fails if Goal has no solution.", label
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_comments.pl | 160 fail_if: "Fails if Cardinality can not be the cardinality of SetVariable.", label 187 fail_if: "Fails if Cardinality can not be the cardinality of SetExpression.", label 210 fail_if: "Fails if Glb can not be unified with the current glb of SetVariable.", label 229 fail_if: "Fails if Poss can not be unified with the current poss (lub\\glb) of SetVariable.", label 256 fail_if: "Fails if Glb can not be unified with the current glb of SetVariable or label 283 fail_if: "Fails if Domain can not be unified with the current domain of SetVariable.", label 319 fail_if: "Fails if Domain can not be unified with the current domain of SetVariable.", label 341 fail_if: "Fails if Lub can not be unified with the current lub of SetVariable.", label 364 fail_if: "Fails if Lub can not be unified with the current lub of SetVariable or label 395 fail_if label 424 fail_if: "Fails if Min can not be the minimum of SetVariable.", label 452 fail_if: "Fails if UnionVar can not be the union of SetVariable.", label 477 fail_if: "Fails if SetVariable is not a set of sets or if its union attributte label 513 fail_if: "Fails if SetVariable can not be constrained accordingly.", label 554 fail_if: "Fails if SetVariable can not be constrained accordingly.", label 601 fail_if: "Fails if SetVariables can not be constrained accordingly.", label 626 fail_if: "Fails if Var can not be refined (it is either ground or both the inclusion label 655 fail_if: "Fails if SetVars can not be labeled (there is no solution to the CSP).", label 695 fail_if: "Fails if SetVars can not be labeled (there is no solution to the CSP).", label 737 fail_if: "Fails if cardinalities of SetVars can not be labeled (because constraint label 773 fail_if: "Fails if Element can not be a member of SetVariable.", label 808 fail_if: "Fails if Element can not be a member of SetVariable.", label 825 fail_if: "Fails if Element must be a member of SetVariable.", label 857 fail_if: "Fails if Element must be a member of SetVariable.", label 874 fail_if: "Fails if SetVar1 and SetVar2 can not be disjoint.", label 928 fail_if: "Fails if SetVars can not be all disjoint.", label 959 fail_if: "Fails if SetVar1 can not contain SetVar2.", label 1008 fail_if: "Fails if Union can not be the union of SetVars.", label 1042 fail_if: "Fails if SetVar1 and SetVar2 must be the same set.", label 1081 fail_if: "Fails if Complement can not be the set complement of SetVar in set universe Universe.", label 1110 fail_if: "Fails if Complement can not be the set complement of SetVar (in their universe).", label 1162 fail_if: "Fails if SetExp1 can not be the same set as SetExp2.", label [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | shadow_cons.pl | 58 % fail_if:"The original variable already has a shadow which cannot be unified with the new one, or if the input is not unifiable with its shadow.", 87 fail_if:"The constraint is inconsistent with those previously imposed on the shadow store", label
|
H A D | repair.pl | 732 fail_if: "Fails if Var is non-tenable.", label 805 fail_if: "Values does not unify with Vars with the tentative values filled in.", label 855 fail_if: "Vars is non-unifiable with Values", label
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | types.h | 839 fail_if, member in struct:__anon1659
|
H A D | dict.c | 1093 d_.fail_if = in_dict("fail_if", 1);
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsdeveltools.tex | 211 fail_if: "A solution cannot be found where all queens are safe
|