Lines Matching refs:fail_if
37 fail_if:" None.\n\n",
63 fail_if:" None.\n\n",
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",
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",
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",
267 fail_if:" None, only on backtracking.\n\n",
324 fail_if:" None.\n\n",
401 fail_if:" None.\n\n",
417 fail_if:" Fails if there are no Prolog clauses for the constraint or if the bodies\n of all clauses fail.\n\n",
511 fail_if:" None.\n\n",