Z3
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. More...
 
Expr Upper [get]
 Retrieve an upper bound for the objective handle. More...
 
Expr Value [get]
 Retrieve the value of an objective. More...
 
Expr[] LowerAsVector [get]
 Retrieve a lower bound for the objective handle. More...
 
Expr[] UpperAsVector [get]
 Retrieve an upper bound for the objective handle. More...
 

Detailed Description

Handle to objectives returned by objective functions.

Definition at line 154 of file Optimize.cs.

Property Documentation

◆ Lower

Expr Lower
get

Retrieve a lower bound for the objective handle.


Definition at line 167 of file Optimize.cs.

168 {
169 get { return opt.GetLower(handle); }
170 }

◆ LowerAsVector

Expr [] LowerAsVector
get

Retrieve a lower bound for the objective handle.


Definition at line 191 of file Optimize.cs.

192 {
193 get { return opt.GetLowerAsVector(handle); }
194 }

◆ Upper

Expr Upper
get

Retrieve an upper bound for the objective handle.


Definition at line 175 of file Optimize.cs.

176 {
177 get { return opt.GetUpper(handle); }
178 }

◆ UpperAsVector

Expr [] UpperAsVector
get

Retrieve an upper bound for the objective handle.


Definition at line 199 of file Optimize.cs.

200 {
201 get { return opt.GetUpperAsVector(handle); }
202 }

◆ Value

Expr Value
get

Retrieve the value of an objective.


Definition at line 183 of file Optimize.cs.

184 {
185 get { return Lower; }
186 }
Expr Lower
Retrieve a lower bound for the objective handle.
Definition: Optimize.cs:168