C# Class Microsoft.Z3.BoolExpr

Boolean expressions
Inheritance: Expr
显示文件 Open project: sslab-gatech/juxta Class Usage Examples

Protected Methods

Method Description
BoolExpr ( Context ctx ) : System

Constructor for BoolExpr

Private Methods

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

Constructor for BoolExpr

Method Details

BoolExpr() protected method

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