MkZeroExt() public méthode

Bit-vector zero extension.
Extend the given bit-vector with zeros to the (unsigned) equivalent bitvector of size m+i, where \c m is the size of the given bit-vector. The argument t must have a bit-vector sort.
public MkZeroExt ( uint i, BitVecExpr t ) : BitVecExpr
i uint
t BitVecExpr
Résultat BitVecExpr
Context Class Documentation
Exemple #1
0
    public void Run()
    {
        Dictionary<string, string> cfg = new Dictionary<string, string>() {
            { "AUTO_CONFIG", "true" } };

        Context ctx = new Context(cfg);

        BitVecExpr b = ctx.MkBVConst("b", 16);

        Console.WriteLine(ctx.MkExtract(12, 2, b));
        Console.WriteLine(ctx.MkSignExt(10, b));
        Console.WriteLine(ctx.MkZeroExt(10, b));
        Console.WriteLine(ctx.MkRepeat(3, b));
    }