Z3
Properties
Optimize.Handle Class Reference

Handle to objectives returned by objective functions. More...

Properties

ArithExpr Lower [get]
 Retrieve a lower bound for the objective handle. More...
 
ArithExpr Upper [get]
 Retrieve an upper bound for the objective handle. More...
 
ArithExpr Value [get]
 Retrieve the value of an objective. More...
 

Detailed Description

Handle to objectives returned by objective functions.

Definition at line 91 of file Optimize.cs.

Property Documentation

ArithExpr Lower
get

Retrieve a lower bound for the objective handle.

Definition at line 105 of file Optimize.cs.

ArithExpr Upper
get

Retrieve an upper bound for the objective handle.

Definition at line 113 of file Optimize.cs.

ArithExpr Value
get

Retrieve the value of an objective.

Definition at line 121 of file Optimize.cs.