Microsoft.Z3.BoolExpr.BoolExpr C# (CSharp) Method

BoolExpr Class Documentation Exibir arquivo Open project: sslab-gatech/juxta

BoolExpr() protected method

Constructor for BoolExpr
protected BoolExpr ( Context ctx ) : System
ctx Context
return System 
        protected internal BoolExpr(Context ctx)
            : base(ctx)
        {
            Contract.Requires(ctx != null);
        }

Same methods

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