Undocumented predicates

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

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

 var_intern(Arg1, Arg2, Arg3)

 solve(Arg1)

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

 determine_active_inc(Arg1)

 deref_var(Arg1, Arg2)

 same_class(Arg1, Arg2)

 sup(Arg1, Arg2, Arg3, Arg4)

 detach_bounds(Arg1)

 inc_step(Arg1, Arg2)

 var_with_def_assign(Arg1, Arg2)

 lb(Arg1, Arg2, Arg3)

 backsubst(Arg1, Arg2, Arg3)

 export_binding(Arg1, Arg2)

 backsubst_delta(Arg1, Arg2, Arg3, Arg4)

 intro_at(Arg1, Arg2, Arg3)

 var_with_def_intern(Arg1, Arg2, Arg3, Arg4)

 unconstrained(Arg1, Arg2, Arg3, Arg4)

 allvars(Arg1, Arg2)

 inf(Arg1, Arg2, Arg3, Arg4)

 pivot_a(Arg1, Arg2, Arg3, Arg4)

 minimize(Arg1)

 reconsider(Arg1)

 solve_=<(Arg1)

 solve_<(Arg1)

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

 export_binding(Arg1)

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

 maximize(Arg1)

 log_deref(Arg1, Arg2, Arg3, Arg4)

 sup(Arg1, Arg2)

 ub(Arg1, Arg2, Arg3)

 dec_step(Arg1, Arg2)

 solve_ord_x(Arg1, Arg2, Arg3)

 deref(Arg1, Arg2)

 var_intern(Arg1, Arg2)

 iterate_dec(Arg1, Arg2)

 determine_active_dec(Arg1)

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

 basis_add(Arg1, Arg2)

 solve_=\=(Arg1)

 inf(Arg1, Arg2)

 get_or_add_class(Arg1, Arg2)