Microsoft.Z3.IntNum.IntNum C# (CSharp) 메소드

private IntNum ( Context ctx, IntPtr obj ) : System.Numerics
ctx	Context
obj	System.IntPtr
리턴	System.Numerics

        internal IntNum(Context ctx, IntPtr obj)
            : base(ctx, obj)
        {
            Contract.Requires(ctx != null);
        }

IntNum