RetroSearch Browse

Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_optimize_1_1_handle.html below:

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

Handle to objectives returned by objective functions.

Definition at line 154 of file Optimize.cs.

◆ Lower

Retrieve a lower bound for the objective handle.

Definition at line 167 of file Optimize.cs.

169 get

{

return

opt.GetLower(handle); }

◆ LowerAsVector

Retrieve a lower bound for the objective handle.

Definition at line 191 of file Optimize.cs.

193 get

{

return

opt.GetLowerAsVector(handle); }

◆ Upper

Retrieve an upper bound for the objective handle.

Definition at line 175 of file Optimize.cs.

177 get

{

return

opt.GetUpper(handle); }

◆ UpperAsVector

Retrieve an upper bound for the objective handle.

Definition at line 199 of file Optimize.cs.

201 get

{

return

opt.GetUpperAsVector(handle); }

◆ Value

Retrieve the value of an objective.

Definition at line 183 of file Optimize.cs.

185 get

{

return Lower

; }

Expr Lower

Retrieve a lower bound for the objective handle.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4