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.

128  {
129  get { return opt.GetLower(handle); }
130  }

◆ Upper

ArithExpr Upper
get

Retrieve an upper bound for the objective handle.

Definition at line 136 of file Optimize.cs.

136  {
137  get { return opt.GetUpper(handle); }
138  }

◆ Value

ArithExpr Value
get

Retrieve the value of an objective.

Definition at line 144 of file Optimize.cs.

144  {
145  get { return Lower; }
146  }
ArithExpr Lower
Retrieve a lower bound for the objective handle.
Definition: Optimize.cs:128