Searched refs:fail_if (Results 1 - 25 of 26) sorted by relevance

12

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dmps.pl91 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 Dfd.pl782 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 Dsuspend.pl744 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 Dlists.pl290 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 Dremote_tools.pl159 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 Dcgi.pl57 fail_if:"There was a problem obtaining the parameters from the environment", label
H A Dordset.pl156 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 Dsource_storage.pl263 % Also eliminate: \+ not fail_if call once.
316 comma_to_list(fail_if(Goal), [(Goal,fail;true)|List], List) :- !.
H A Dsetof.pl287 explicit_binding(fail_if(_), Bound, fail, Bound ) :- !.
H A Dasm.pl154 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 Dbranch_and_bound.pl775 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 Dtoplevel.pl660 fail_if:" None.\n\n", label
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dmercury.pl40 fail_if: "Never fails.", label
55 fail_if: "Never fails.", label
H A Dm_map.pl108 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 Dm_tree234.pl76 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 Dconjunto.pl51 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 Dchr_doc.pl37 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 Dr.pl2097 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 Dpropia.pl91 fail_if:"Fails if Goal has no solution.", label
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_comments.pl160 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 Dshadow_cons.pl58 % 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 Drepair.pl732 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 Dtypes.h839 fail_if, member in struct:__anon1659
H A Ddict.c1093 d_.fail_if = in_dict("fail_if", 1);
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdeveltools.tex211 fail_if: "A solution cannot be found where all queens are safe

Completed in 215 milliseconds

12