Interface BitVec<Bits, Name>

Creates a bitwise-and between two bitvectors

Creates a logical shift right operation

Creates a bitwise-not-and between two bitvectors

Creates a bitwise not operation

Creates a rotate left operation

Creates a rotate right operation

Creates a shift left operation

Creates an arithmetic shift right operation

Creates a bitwise-exclusive-not-or between two bitvectors

Creates a bitwise-exclusive-or between two bitvectors

Creates a signed greater-or-equal operation (>=)

Creates a signed greater-than operation (>)

Creates a signed less-or-equal operation (<=)

Creates a signed less-than operation (<)

Creates an unsigned greater-or-equal operation (>=)

Creates an unsigned greater-than operation (>)

Creates an unsigned less-or-equal operation (<=)

Creates an unsigned less-than operation (<)

Creates an extraction operation. Bits are indexed starting from 1 from the most right one (least significant) increasing to left (most significant)

const x = BitVec.const('x', 8);

x.extract(6, 2)
// Extract(6, 2, x)
x.extract(6, 2).sort
// BitVec(5)
Copy

Creates a bitwise-or between two bitvectors

Creates a reduction-and operation

Creates a reduction-or operation

The amount of bits of this BitVectors sort

const x = BitVec.const('x', 32);

x.size
// 32

const Y = BitVec.sort(8);
const y = BitVec.const('y', Y);

y.size
// 8
Copy