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

Constructor for Expr

protected Expr ( Context ctx ) : System
ctx	Context
return	System

        protected internal Expr(Context ctx)
            : base(ctx)
        {
            Contract.Requires(ctx != null);
        }

Same methods

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

Expr