Class ExtensionMethods
Holds all Extension methods that are used throughout the framework
Inheritance
System.Object
ExtensionMethods
Namespace: OPTANO.Modeling.Optimization.Solver.Z3
Assembly: Optimization.Solver.Z3.dll
Syntax
public static class ExtensionMethods : object
Methods
FixType(ArithExpr, Boolean, Context)
Fixes the type of the lb
.
Declaration
public static ArithExpr FixType(this ArithExpr lb, bool isReal, Context ctx)
Parameters
Type | Name | Description |
---|---|---|
ArithExpr | lb | The expression. |
System.Boolean | isReal |
|
Context | ctx | The context. |
Returns
Type | Description |
---|---|
ArithExpr | The fixed |
ToArithExpr(Double, Context)
Will convert a null
. If the MkInt
, otherwise MkReal
.
Declaration
public static ArithExpr ToArithExpr(this double value, Context ctx)
Parameters
Type | Name | Description |
---|---|---|
System.Double | value | The value to be converted. |
Context | ctx | The Z3 context to get the ArithExpr from. |
Returns
Type | Description |
---|---|
ArithExpr | An |