Microsoft.Z3.RatNum.RatNum C# (CSharp) Méthode

private RatNum ( Context ctx, IntPtr obj ) : System.Numerics
ctx	Context
obj	System.IntPtr
Résultat	System.Numerics

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

RatNum