Undocumented predicates

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

 rcbl_status(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 maximize(Arg1)

 determine_active_dec(Arg1)

 solve_=<(Arg1)

 inf(Arg1, Arg2, Arg3, Arg4)

 lb(Arg1, Arg2, Arg3)

 backsubst_delta(Arg1, Arg2, Arg3, Arg4)

 var_with_def_assign(Arg1, Arg2)

 pivot_a(Arg1, Arg2, Arg3, Arg4)

 var_with_def_intern(Arg1, Arg2, Arg3, Arg4)

 export_binding(Arg1)

 minimize(Arg1)

 sup(Arg1, Arg2)

 solve_ord_x(Arg1, Arg2, Arg3)

 deref(Arg1, Arg2)

 iterate_dec(Arg1, Arg2)

 solve_<(Arg1)

 get_or_add_class(Arg1, Arg2)

 inc_step(Arg1, Arg2)

 allvars(Arg1, Arg2)

 log_deref(Arg1, Arg2, Arg3, Arg4)

 sup(Arg1, Arg2, Arg3, Arg4)

 pivot(Arg1, Arg2, Arg3, Arg4, Arg5)

 var_intern(Arg1, Arg2, Arg3)

 deref_var(Arg1, Arg2)

 solve(Arg1)

 detach_bounds(Arg1)

 dump_nz(Arg1, Arg2, Arg3, Arg4, Arg5)

 same_class(Arg1, Arg2)

 reconsider(Arg1)

 solve_=\=(Arg1)

 intro_at(Arg1, Arg2, Arg3)

 inf(Arg1, Arg2)

 backsubst(Arg1, Arg2, Arg3)

 determine_active_inc(Arg1)

 var_intern(Arg1, Arg2)

 unconstrained(Arg1, Arg2, Arg3, Arg4)

 detach_bounds_vlv(Arg1, Arg2, Arg3, Arg4, Arg5)

 dump_var(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 basis_add(Arg1, Arg2)

 ub(Arg1, Arg2, Arg3)

 dec_step(Arg1, Arg2)