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

Context Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

MkBVRotateRight() public méthode

Rotate Right.

Rotate bits of t1 to the rightt2 times. The arguments must have the same bit-vector sort.

public MkBVRotateRight ( BitVecExpr t1, BitVecExpr t2 ) : BitVecExpr
t1	BitVecExpr
t2	BitVecExpr
Résultat	BitVecExpr

        public BitVecExpr MkBVRotateRight(BitVecExpr t1, BitVecExpr t2)
        {
            Contract.Requires(t1 != null);
            Contract.Requires(t2 != null);
            Contract.Ensures(Contract.Result<BitVecExpr>() != null);

            CheckContextMatch(t1);
            CheckContextMatch(t2);
            return new BitVecExpr(this, Native.Z3_mk_ext_rotate_right(nCtx, t1.NativeObject, t2.NativeObject));
        }