Z3
Public Member Functions
Optimize.Handle Class Reference

Public Member Functions

ArithExpr getLower ()
 
ArithExpr getUpper ()
 
ArithExpr getValue ()
 
String toString ()
 

Detailed Description

Handle to objectives returned by objective functions.

Definition at line 79 of file Optimize.java.

Member Function Documentation

ArithExpr getLower ( )
inline

Retrieve a lower bound for the objective handle.

Definition at line 92 of file Optimize.java.

Referenced by Optimize.Handle.getValue().

93  {
94  return opt.GetLower(handle);
95  }
ArithExpr getUpper ( )
inline

Retrieve an upper bound for the objective handle.

Definition at line 100 of file Optimize.java.

101  {
102  return opt.GetUpper(handle);
103  }
ArithExpr getValue ( )
inline

Retrieve the value of an objective.

Definition at line 108 of file Optimize.java.

Referenced by Optimize.Handle.toString().

109  {
110  return getLower();
111  }
String toString ( )
inline

Print a string representation of the handle.

Definition at line 116 of file Optimize.java.

117  {
118  return getValue().toString();
119  }
String toString()
Definition: Expr.java:209