C# Class Microsoft.Z3.BitVecExpr

Bit-vector expressions
Inheritance: Expr
ファイルを表示 Open project: sslab-gatech/juxta Class Usage Examples

Protected Methods

Method Description
BitVecExpr ( Context ctx ) : System

Constructor for BitVecExpr

Private Methods

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

Method Details

BitVecExpr() protected method

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