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	true, if lb should be converted to . false, if lb should be converted to .
Context	ctx	The context.

Returns

Type	Description
ArithExpr	The fixed .

ToArithExpr(Double, Context)

Will convert a to an . If the is it will return null. If the is , it will return an 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 or null.