C# Class Microsoft.Z3.DatatypeExpr

Datatype expressions
Inheritance: Expr
Mostra file Open project: sslab-gatech/juxta Class Usage Examples

Protected Methods

Method Description
DatatypeExpr ( Context ctx ) : System

Constructor for DatatypeExpr

Private Methods

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

Method Details

DatatypeExpr() protected method

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