Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- nfi(Arg1, Arg2)
- fi(Arg1, Arg2)
- clique(Arg1)
- clique_1(Arg1)
- compat(Arg1)
- constraint(Arg1)
- covered(Arg1)
- covered(Arg1, Arg2)
- exception(Arg1)
- exception(Arg1, Arg2)
- fails(Arg1)
- finite_solutions(Arg1)
- have_choicepoints(Arg1)
- indep(Arg1)
- indep(Arg1, Arg2)
- instance(Arg1)
- is_det(Arg1)
- linear(Arg1)
- mshare(Arg1)
- mut_exclusive(Arg1)
- no_choicepoints(Arg1)
- no_exception(Arg1)
- no_exception(Arg1, Arg2)
- no_signal(Arg1)
- no_signal(Arg1, Arg2)
- non_det(Arg1)
- nonground(Arg1)
- not_covered(Arg1)
- not_fails(Arg1)
- not_mut_exclusive(Arg1)
- num_solutions(Arg1, Arg2)
- solutions(Arg1, Arg2)
- possibly_fails(Arg1)
- possibly_nondet(Arg1)
- relations(Arg1, Arg2)
- sideff_hard(Arg1)
- sideff_pure(Arg1)
- sideff_soft(Arg1)
- signal(Arg1)
- signal(Arg1, Arg2)
- signals(Arg1, Arg2)
- size(Arg1, Arg2)
- size(Arg1, Arg2, Arg3)
- size_lb(Arg1, Arg2)
- size_o(Arg1, Arg2)
- size_ub(Arg1, Arg2)
- size_metric(Arg1, Arg2, Arg3)
- size_metric(Arg1, Arg2, Arg3, Arg4)
- succeeds(Arg1)
- steps(Arg1, Arg2)
- steps_lb(Arg1, Arg2)
- steps_o(Arg1, Arg2)
- steps_ub(Arg1, Arg2)
- tau(Arg1)
- terminates(Arg1)
- test_type(Arg1, Arg2)
- throws(Arg1, Arg2)
- throw(Arg1, Arg2)
- nsh(Arg1, Arg2)
- user_output(Arg1, Arg2)
- test_throw_2(Arg1, Arg2, Arg3, Arg4)
- entry_point_name(Arg1, Arg2)
