C# Class Microsoft.Z3.RealExpr

Real expressions
Inheritance: ArithExpr
Show file Open project: sslab-gatech/juxta Class Usage Examples

Protected Methods

Method Description
RealExpr ( Context ctx ) : System

Constructor for RealExpr

Private Methods

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

Method Details

RealExpr() protected method

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