@return Triple representing the upper bound for the objective handle. See Handle#getLowerAsVector.
(int index)
| 328 | * <p>See {@link Handle#getLowerAsVector}. |
| 329 | */ |
| 330 | private Expr<?>[] GetLowerAsVector(int index) { |
| 331 | return unpackObjectiveValueVector( |
| 332 | Native.optimizeGetLowerAsVector( |
| 333 | getContext().nCtx(), getNativeObject(), index |
| 334 | ) |
| 335 | ); |
| 336 | } |
| 337 | |
| 338 | private Expr<?>[] unpackObjectiveValueVector(long nativeVec) { |
| 339 | ASTVector vec = new ASTVector( |
no test coverage detected