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

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

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

Model