Retrieve a lower bound for the objective handle.
(int index)
| 297 | * Retrieve a lower bound for the objective handle. |
| 298 | **/ |
| 299 | private <R extends Sort> Expr<R> GetLower(int index) |
| 300 | { |
| 301 | return (Expr<R>) Expr.create(getContext(), Native.optimizeGetLower(getContext().nCtx(), getNativeObject(), index)); |
| 302 | } |
| 303 | |
| 304 | /** |
| 305 | * Retrieve an upper bound for the objective handle. |
no test coverage detected