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

Create a predicate that checks that the bit-wise negation does not overflow.

The arguments must be of bit-vector sort.

public MkBVNegNoOverflow ( BitVecExpr t ) : BoolExpr
t	BitVecExpr
Résultat	BoolExpr

        public BoolExpr MkBVNegNoOverflow(BitVecExpr t)
        {
            Contract.Requires(t != null);
            Contract.Ensures(Contract.Result<BoolExpr>() != null);

            CheckContextMatch(t);
            return new BoolExpr(this, Native.Z3_mk_bvneg_no_overflow(nCtx, t.NativeObject));
        }

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

MkBVNegNoOverflow() public méthode