C# Class Microsoft.Z3.IntExpr

Int expressions
Inheritance: ArithExpr
Datei anzeigen Open project: sslab-gatech/juxta Class Usage Examples

Protected Methods

Method Description
IntExpr ( Context ctx ) : System

Constructor for IntExpr

Private Methods

Method Description
IntExpr ( Context ctx, IntPtr obj ) : System

Method Details

IntExpr() protected method

Constructor for IntExpr
protected IntExpr ( Context ctx ) : System
ctx Context
return System