com.microsoft.z3

Class Optimize.Handle

java.lang.Object

com.microsoft.z3.Optimize.Handle

Enclosing class:

Optimize

public class Optimize.Handle
extends java.lang.Object

Handle to objectives returned by objective functions.

Method Summary

Methods

Modifier and Type	Method and Description
ArithExpr	getLower() Retrieve a lower bound for the objective handle.
ArithExpr	getUpper() Retrieve an upper bound for the objective handle.
ArithExpr	getValue() Retrieve the value of an objective.
java.lang.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 ArithExpr getLower()

Retrieve a lower bound for the objective handle.

getUpper

public ArithExpr getUpper()

Retrieve an upper bound for the objective handle.

getValue

public ArithExpr getValue()

Retrieve the value of an objective.

toString

public java.lang.String toString()

Print a string representation of the handle.

Overrides:

toString in class java.lang.Object