Undocumented predicates

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

 {Arg1}

 entailed(Arg1)

 inf(Arg1, Arg2)

 sup(Arg1, Arg2)

 minimize(Arg1)

 maximize(Arg1)

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

 bb_inf(Arg1, Arg2, Arg3, Arg4)

 bb_inf(Arg1, Arg2, Arg3)

 dump(Arg1, Arg2, Arg3)

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

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

 bb_inf_b(Arg1, Arg2, Arg3, Arg4)

 set_time_limit(Arg1)

 get_time_limit(Arg1)

 set_eps(Arg1)

 get_eps(Arg1)

 set_solver(Arg1)

 get_solver(Arg1)