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 114 of file Optimize.cs.

Property Documentation

§ Lower

ArithExpr Lower
get

Retrieve a lower bound for the objective handle.

Definition at line 128 of file Optimize.cs.

§ Upper

ArithExpr Upper
get

Retrieve an upper bound for the objective handle.

Definition at line 136 of file Optimize.cs.

§ Value

ArithExpr Value
get

Retrieve the value of an objective.

Definition at line 144 of file Optimize.cs.