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

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

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

Same methods

FuncDecl::FuncDecl ( Context ctx, Symbol name, Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : System
FuncDecl::FuncDecl ( Context ctx, string prefix, Microsoft.Z3.Sort domain, Microsoft.Z3.Sort range ) : System

FuncDecl