Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 is_constraint_functor(Arg1)

 restriction_entailed(Arg1, Arg2)

 fd_or_num(Arg1)

 reified_equality_solver(Arg1, Arg2, Arg3)

 binary_domain(Arg1)

 cstr_var(Arg1)

 neq(Arg1, Arg2)

 lt(Arg1, Arg2)

 eq(Arg1, Arg2)

 gt(Arg1, Arg2)

 leq(Arg1, Arg2)

 geq(Arg1, Arg2)

 is_identical(Arg1, Arg2)

 impose_neg_constraints(Arg1, Arg2, Arg3)

 solver_search(Arg1)

 is_clp_functor(Arg1)

 solver_rewrite_constraint(Arg1, Arg2)

 term_unify(Arg1, Arg2)

 opposite(Arg1, Arg2)

 rewrite_restriction(Arg1, Arg2)

 rewrite_restr_rules(Arg1, Arg2)

 add_default_domain(Arg1)

 term_equality(Arg1, Arg2)

 is_number(Arg1)