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

private Quantifier ( Context ctx, IntPtr obj ) : System
ctx	Context
obj	System.IntPtr
return	System

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

Same methods

Quantifier::Quantifier ( Context ctx, bool isForall, Expr bound, Expr body, uint weight = 1, Pattern patterns = null, Expr noPatterns = null, Symbol quantifierID = null, Symbol skolemID = null ) : System
Quantifier::Quantifier ( Context ctx, bool isForall, Microsoft.Z3.Sort sorts, Symbol names, Expr body, uint weight = 1, Pattern patterns = null, Expr noPatterns = null, Symbol quantifierID = null, Symbol skolemID = null ) : System

Quantifier