Z3
 
Loading...
Searching...
No Matches
Properties
Optimize.Handle Class Reference

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

Properties

Expr Lower [get]
 Retrieve a lower bound for the objective handle.
 
Expr Upper [get]
 Retrieve an upper bound for the objective handle.
 
Expr Value [get]
 Retrieve the value of an objective.
 
Expr[] LowerAsVector [get]
 Retrieve a lower bound for the objective handle.
 
Expr[] UpperAsVector [get]
 Retrieve an upper bound for the objective handle.
 

Detailed Description

Handle to objectives returned by objective functions.

Definition at line 176 of file Optimize.cs.

Property Documentation

◆ Lower

Expr Lower
get

Retrieve a lower bound for the objective handle.


Definition at line 189 of file Optimize.cs.

190 {
191 get { return opt.GetLower(handle); }
192 }

◆ LowerAsVector

Expr [] LowerAsVector
get

Retrieve a lower bound for the objective handle.


Definition at line 213 of file Optimize.cs.

214 {
215 get { return opt.GetLowerAsVector(handle); }
216 }

◆ Upper

Expr Upper
get

Retrieve an upper bound for the objective handle.


Definition at line 197 of file Optimize.cs.

198 {
199 get { return opt.GetUpper(handle); }
200 }

◆ UpperAsVector

Expr [] UpperAsVector
get

Retrieve an upper bound for the objective handle.


Definition at line 221 of file Optimize.cs.

222 {
223 get { return opt.GetUpperAsVector(handle); }
224 }

◆ Value

Expr Value
get

Retrieve the value of an objective.


Definition at line 205 of file Optimize.cs.

206 {
207 get { return Lower; }
208 }
Expr Lower
Retrieve a lower bound for the objective handle.
Definition Optimize.cs:190