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

ArrayExpr Class Documentation ファイルを表示 Open project: sslab-gatech/juxta

ArrayExpr() private method

private ArrayExpr ( Context ctx, IntPtr obj ) : System
ctx Context
obj System.IntPtr
return System 
        internal ArrayExpr(Context ctx, IntPtr obj)
            : base(ctx, obj)
        {
            Contract.Requires(ctx != null);
        }

Same methods

ArrayExpr::ArrayExpr ( Context ctx ) : System
ArrayExpr
ArrayExpr