Microsoft.Z3.Context.MkSetComplement C# (CSharp) Méthode

        public Expr MkSetComplement(Expr arg)
        {
            Contract.Requires(arg != null);
            Contract.Ensures(Contract.Result<Expr>() != null);

            CheckContextMatch(arg);
            return Expr.Create(this, Native.Z3_mk_set_complement(nCtx, arg.NativeObject));
        }