SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
stabilizer::util::BitVector Member List

This is the complete list of members for stabilizer::util::BitVector, including all inherited members.

bit(uint64_t idx) conststabilizer::util::BitVector
BitVector()stabilizer::util::BitVector
BitVector(uint64_t size)stabilizer::util::BitVector
BitVector(uint64_t size, const std::string &value, uint32_t base=2)stabilizer::util::BitVector
BitVector(uint64_t size, const mpz_t value, bool truncate=false)stabilizer::util::BitVector
BitVector(const BitVector &other)stabilizer::util::BitVector
BitVector(BitVector &&other)stabilizer::util::BitVector
bvadd(const BitVector &bv) conststabilizer::util::BitVector
bvand(const BitVector &bv) conststabilizer::util::BitVector
bvashr(uint64_t shift) conststabilizer::util::BitVector
bvashr(const BitVector &bv) conststabilizer::util::BitVector
bvconcat(const BitVector &bv) conststabilizer::util::BitVector
bvdec() conststabilizer::util::BitVector
bveq(const BitVector &bv) conststabilizer::util::BitVector
bvextract(uint64_t idx_hi, uint64_t idx_lo) conststabilizer::util::BitVector
bvimplies(const BitVector &bv) conststabilizer::util::BitVector
bvinc() conststabilizer::util::BitVector
bvite(const BitVector &c, const BitVector &t, const BitVector &e)stabilizer::util::BitVectorstatic
bvmodinv() conststabilizer::util::BitVector
bvmul(const BitVector &bv) conststabilizer::util::BitVector
bvnand(const BitVector &bv) conststabilizer::util::BitVector
bvne(const BitVector &bv) conststabilizer::util::BitVector
bvneg() conststabilizer::util::BitVector
bvnego() conststabilizer::util::BitVector
bvnor(const BitVector &bv) conststabilizer::util::BitVector
bvnot() conststabilizer::util::BitVector
bvor(const BitVector &bv) conststabilizer::util::BitVector
bvpow(const mpz_t exp) conststabilizer::util::BitVector
bvredand() conststabilizer::util::BitVector
bvredor() conststabilizer::util::BitVector
bvredxor() conststabilizer::util::BitVector
bvrepeat(uint64_t n) conststabilizer::util::BitVector
bvrol(const BitVector &n) conststabilizer::util::BitVector
bvroli(uint64_t n) conststabilizer::util::BitVector
bvror(const BitVector &n) conststabilizer::util::BitVector
bvrori(uint64_t n) conststabilizer::util::BitVector
bvsaddo(const BitVector &bv) conststabilizer::util::BitVector
bvsdiv(const BitVector &bv) conststabilizer::util::BitVector
bvsdivo(const BitVector &bv) conststabilizer::util::BitVector
bvsext(uint64_t n) conststabilizer::util::BitVector
bvsge(const BitVector &bv) conststabilizer::util::BitVector
bvsgt(const BitVector &bv) conststabilizer::util::BitVector
bvshl(uint64_t shift) conststabilizer::util::BitVector
bvshl(const BitVector &bv) conststabilizer::util::BitVector
bvshr(uint64_t shift) conststabilizer::util::BitVector
bvshr(const BitVector &bv) conststabilizer::util::BitVector
bvsle(const BitVector &bv) conststabilizer::util::BitVector
bvslt(const BitVector &bv) conststabilizer::util::BitVector
bvsmod(const BitVector &bv) conststabilizer::util::BitVector
bvsmulo(const BitVector &bv) conststabilizer::util::BitVector
bvsrem(const BitVector &bv) conststabilizer::util::BitVector
bvssubo(const BitVector &bv) conststabilizer::util::BitVector
bvsub(const BitVector &bv) conststabilizer::util::BitVector
bvuaddo(const BitVector &bv) conststabilizer::util::BitVector
bvudiv(const BitVector &bv) conststabilizer::util::BitVector
bvudivurem(const BitVector &bv, BitVector *quot, BitVector *rem) conststabilizer::util::BitVector
bvuge(const BitVector &bv) conststabilizer::util::BitVector
bvugt(const BitVector &bv) conststabilizer::util::BitVector
bvule(const BitVector &bv) conststabilizer::util::BitVector
bvult(const BitVector &bv) conststabilizer::util::BitVector
bvumulo(const BitVector &bv) conststabilizer::util::BitVector
bvurem(const BitVector &bv) conststabilizer::util::BitVector
bvusubo(const BitVector &bv) conststabilizer::util::BitVector
bvxnor(const BitVector &bv) conststabilizer::util::BitVector
bvxor(const BitVector &bv) conststabilizer::util::BitVector
bvzext(uint64_t n) conststabilizer::util::BitVector
compare(const BitVector &bv) conststabilizer::util::BitVector
count_leading(bool zeros) conststabilizer::util::BitVectorprivate
count_leading_ones() conststabilizer::util::BitVector
count_leading_zeros() conststabilizer::util::BitVector
count_trailing_ones() conststabilizer::util::BitVector
count_trailing_zeros() conststabilizer::util::BitVector
d_sizestabilizer::util::BitVectorprivate
d_val_gmpstabilizer::util::BitVector
d_val_uint64stabilizer::util::BitVector
fits_in_size(uint64_t size, const std::string &str, uint32_t base)stabilizer::util::BitVectorstatic
fits_in_size(uint64_t size, uint64_t value, bool sign=false)stabilizer::util::BitVectorstatic
fits_in_size(uint64_t size, const mpz_t value)stabilizer::util::BitVectorstatic
flip_bit(uint64_t idx)stabilizer::util::BitVector
from_si(uint64_t size, int64_t value, bool truncate=false)stabilizer::util::BitVectorstatic
from_ui(uint64_t size, uint64_t value, bool truncate=false)stabilizer::util::BitVectorstatic
get_limb(void *limb, uint64_t nbits_rem, bool zeros) conststabilizer::util::BitVectorprivate
gmp_value() conststabilizer::util::BitVector
hash() conststabilizer::util::BitVector
ibvadd(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvadd(const BitVector &bv)stabilizer::util::BitVector
ibvand(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvand(const BitVector &bv)stabilizer::util::BitVector
ibvashr(const BitVector &bv, uint64_t shift)stabilizer::util::BitVector
ibvashr(uint64_t shift)stabilizer::util::BitVector
ibvashr(const BitVector &bv, const BitVector &arithmetic)stabilizer::util::BitVector
ibvashr(const BitVector &bv)stabilizer::util::BitVector
ibvconcat(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvconcat(const BitVector &bv)stabilizer::util::BitVector
ibvdec(const BitVector &bv)stabilizer::util::BitVector
ibvdec()stabilizer::util::BitVector
ibveq(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibveq(const BitVector &bv)stabilizer::util::BitVector
ibvextract(const BitVector &bv, uint64_t idx_hi, uint64_t idx_lo)stabilizer::util::BitVector
ibvextract(uint64_t idx_hi, uint64_t idx_lo)stabilizer::util::BitVector
ibvimplies(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvimplies(const BitVector &bv)stabilizer::util::BitVector
ibvinc(const BitVector &bv)stabilizer::util::BitVector
ibvinc()stabilizer::util::BitVector
ibvite(const BitVector &c, const BitVector &t, const BitVector &e)stabilizer::util::BitVector
ibvmodinv(const BitVector &bv)stabilizer::util::BitVector
ibvmodinv()stabilizer::util::BitVector
ibvmul(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvmul(const BitVector &bv)stabilizer::util::BitVector
ibvnand(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvnand(const BitVector &bv)stabilizer::util::BitVector
ibvne(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvne(const BitVector &bv)stabilizer::util::BitVector
ibvneg(const BitVector &bv)stabilizer::util::BitVector
ibvneg()stabilizer::util::BitVector
ibvnego(const BitVector &bv)stabilizer::util::BitVector
ibvnego()stabilizer::util::BitVector
ibvnor(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvnor(const BitVector &bv)stabilizer::util::BitVector
ibvnot(const BitVector &bv)stabilizer::util::BitVector
ibvnot()stabilizer::util::BitVector
ibvor(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvor(const BitVector &bv)stabilizer::util::BitVector
ibvpow(const BitVector &base, const mpz_t exp)stabilizer::util::BitVector
ibvpow(const mpz_t exp)stabilizer::util::BitVector
ibvredand(const BitVector &bv)stabilizer::util::BitVector
ibvredand()stabilizer::util::BitVector
ibvredor(const BitVector &bv)stabilizer::util::BitVector
ibvredor()stabilizer::util::BitVector
ibvredxor(const BitVector &bv)stabilizer::util::BitVector
ibvredxor()stabilizer::util::BitVector
ibvrepeat(const BitVector &bv, uint64_t n)stabilizer::util::BitVector
ibvrepeat(uint64_t n)stabilizer::util::BitVector
ibvrol(const BitVector &bv, const BitVector &n)stabilizer::util::BitVector
ibvrol(const BitVector &n)stabilizer::util::BitVector
ibvroli(const BitVector &bv, uint64_t n)stabilizer::util::BitVector
ibvroli(uint64_t n)stabilizer::util::BitVector
ibvror(const BitVector &bv, const BitVector &n)stabilizer::util::BitVector
ibvror(const BitVector &n)stabilizer::util::BitVector
ibvrori(const BitVector &bv, uint64_t n)stabilizer::util::BitVector
ibvrori(uint64_t n)stabilizer::util::BitVector
ibvsaddo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsaddo(const BitVector &bv)stabilizer::util::BitVector
ibvsdiv(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsdiv(const BitVector &bv)stabilizer::util::BitVector
ibvsdivo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsdivo(const BitVector &bv)stabilizer::util::BitVector
ibvsext(const BitVector &bv, uint64_t n)stabilizer::util::BitVector
ibvsext(uint64_t n)stabilizer::util::BitVector
ibvsge(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsge(const BitVector &bv)stabilizer::util::BitVector
ibvsgt(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsgt(const BitVector &bv)stabilizer::util::BitVector
ibvshl(const BitVector &bv, uint64_t shift)stabilizer::util::BitVector
ibvshl(uint64_t shift)stabilizer::util::BitVector
ibvshl(const BitVector &bv, const BitVector &shift)stabilizer::util::BitVector
ibvshl(const BitVector &bv)stabilizer::util::BitVector
ibvshr(const BitVector &bv, uint64_t shift)stabilizer::util::BitVector
ibvshr(uint64_t shift)stabilizer::util::BitVector
ibvshr(const BitVector &bv, const BitVector &shift)stabilizer::util::BitVector
ibvshr(const BitVector &bv)stabilizer::util::BitVector
ibvsle(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsle(const BitVector &bv)stabilizer::util::BitVector
ibvslt(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvslt(const BitVector &bv)stabilizer::util::BitVector
ibvsmod(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsmod(const BitVector &bv)stabilizer::util::BitVector
ibvsmulo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsmulo(const BitVector &bv)stabilizer::util::BitVector
ibvsrem(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsrem(const BitVector &bv)stabilizer::util::BitVector
ibvssubo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvssubo(const BitVector &bv)stabilizer::util::BitVector
ibvsub(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvsub(const BitVector &bv)stabilizer::util::BitVector
ibvuaddo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvuaddo(const BitVector &bv)stabilizer::util::BitVector
ibvudiv(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvudiv(const BitVector &bv)stabilizer::util::BitVector
ibvuge(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvuge(const BitVector &bv)stabilizer::util::BitVector
ibvugt(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvugt(const BitVector &bv)stabilizer::util::BitVector
ibvule(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvule(const BitVector &bv)stabilizer::util::BitVector
ibvult(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvult(const BitVector &bv)stabilizer::util::BitVector
ibvumulo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvumulo(const BitVector &bv)stabilizer::util::BitVector
ibvurem(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvurem(const BitVector &bv)stabilizer::util::BitVector
ibvusubo(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvusubo(const BitVector &bv)stabilizer::util::BitVector
ibvxnor(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvxnor(const BitVector &bv)stabilizer::util::BitVector
ibvxor(const BitVector &bv0, const BitVector &bv1)stabilizer::util::BitVector
ibvxor(const BitVector &bv)stabilizer::util::BitVector
ibvzext(const BitVector &bv, uint64_t n)stabilizer::util::BitVector
ibvzext(uint64_t n)stabilizer::util::BitVector
is_false() conststabilizer::util::BitVector
is_gmp() conststabilizer::util::BitVectorinlineprivate
is_max_signed() conststabilizer::util::BitVector
is_min_signed() conststabilizer::util::BitVector
is_neg_overflow() conststabilizer::util::BitVector
is_null() conststabilizer::util::BitVectorinline
is_one() conststabilizer::util::BitVector
is_ones() conststabilizer::util::BitVector
is_power_of_two() conststabilizer::util::BitVector
is_sadd_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_sdiv_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_smul_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_ssub_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_true() conststabilizer::util::BitVector
is_uadd_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_umul_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_usub_overflow(const BitVector &bv) conststabilizer::util::BitVector
is_zero() conststabilizer::util::BitVector
iset(uint64_t value)stabilizer::util::BitVector
iset(const BitVector &bv)stabilizer::util::BitVector
lsb() conststabilizer::util::BitVector
mk_false()stabilizer::util::BitVectorstatic
mk_max_signed(uint64_t size)stabilizer::util::BitVectorstatic
mk_min_signed(uint64_t size)stabilizer::util::BitVectorstatic
mk_one(uint64_t size)stabilizer::util::BitVectorstatic
mk_ones(uint64_t size)stabilizer::util::BitVectorstatic
mk_true()stabilizer::util::BitVectorstatic
mk_zero(uint64_t size)stabilizer::util::BitVectorstatic
msb() conststabilizer::util::BitVector
operator!=(const BitVector &bv) conststabilizer::util::BitVector
operator=(const BitVector &other)stabilizer::util::BitVector
operator==(const BitVector &bv) conststabilizer::util::BitVector
s_native_sizestabilizer::util::BitVectorstatic
set_bit(uint64_t idx, bool value)stabilizer::util::BitVector
shift_is_uint64(uint64_t *res) conststabilizer::util::BitVectorprivate
signed_compare(const BitVector &bv) conststabilizer::util::BitVector
size() conststabilizer::util::BitVectorinline
str(uint32_t base=2) conststabilizer::util::BitVector
to_mpz() conststabilizer::util::BitVector
to_uint64(bool truncate=false) conststabilizer::util::BitVector
uint64_fdiv_r_2exp(uint64_t size, uint64_t val)stabilizer::util::BitVectorprivatestatic
~BitVector()stabilizer::util::BitVector