Optimize.Handle (Java Bindings for Z3)

java.lang.Object
- com.microsoft.z3.Optimize.Handle

Enclosing class:

Optimize
```
public static class Optimize.Handle
extends Object
```
Handle to objectives returned by objective functions.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Expr`	`getLower()`	Retrieve a lower bound for the objective handle.
`Expr[]`	`getLowerAsVector()`
`Expr`	`getUpper()`	Retrieve an upper bound for the objective handle.
`Expr[]`	`getUpperAsVector()`
`Expr`	`getValue()`	Retrieve the value of an objective.
`String`	`toString()`	Print a string representation of the handle.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - getLower
```
public Expr getLower()
```
    Retrieve a lower bound for the objective handle.
  - getUpper
```
public Expr getUpper()
```
    Retrieve an upper bound for the objective handle.
  - getUpperAsVector
```
public Expr[] getUpperAsVector()
```
    Returns:
    
    a triple representing the upper bound of the objective handle. The triple contains values inf, value, eps, where the objective value is unbounded iff inf is non-zero, and otherwise is represented by the expression value + eps * EPSILON, where EPSILON is an arbitrarily small real number.
  - getLowerAsVector
```
public Expr[] getLowerAsVector()
```
    Returns:
    
    a triple representing the upper bound of the objective handle.
    See getUpperAsVector() for triple semantics.
  - getValue
```
public Expr getValue()
```
    Retrieve the value of an objective.
  - toString
```
public String toString()
```
    Print a string representation of the handle.
    
    Overrides:
    
    toString in class Object