| bit(uint64_t idx) const | stabilizer::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) const | stabilizer::util::BitVector | |
| bvand(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvashr(uint64_t shift) const | stabilizer::util::BitVector | |
| bvashr(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvconcat(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvdec() const | stabilizer::util::BitVector | |
| bveq(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvextract(uint64_t idx_hi, uint64_t idx_lo) const | stabilizer::util::BitVector | |
| bvimplies(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvinc() const | stabilizer::util::BitVector | |
| bvite(const BitVector &c, const BitVector &t, const BitVector &e) | stabilizer::util::BitVector | static |
| bvmodinv() const | stabilizer::util::BitVector | |
| bvmul(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvnand(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvne(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvneg() const | stabilizer::util::BitVector | |
| bvnego() const | stabilizer::util::BitVector | |
| bvnor(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvnot() const | stabilizer::util::BitVector | |
| bvor(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvpow(const mpz_t exp) const | stabilizer::util::BitVector | |
| bvredand() const | stabilizer::util::BitVector | |
| bvredor() const | stabilizer::util::BitVector | |
| bvredxor() const | stabilizer::util::BitVector | |
| bvrepeat(uint64_t n) const | stabilizer::util::BitVector | |
| bvrol(const BitVector &n) const | stabilizer::util::BitVector | |
| bvroli(uint64_t n) const | stabilizer::util::BitVector | |
| bvror(const BitVector &n) const | stabilizer::util::BitVector | |
| bvrori(uint64_t n) const | stabilizer::util::BitVector | |
| bvsaddo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsdiv(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsdivo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsext(uint64_t n) const | stabilizer::util::BitVector | |
| bvsge(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsgt(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvshl(uint64_t shift) const | stabilizer::util::BitVector | |
| bvshl(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvshr(uint64_t shift) const | stabilizer::util::BitVector | |
| bvshr(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsle(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvslt(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsmod(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsmulo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsrem(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvssubo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvsub(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvuaddo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvudiv(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvudivurem(const BitVector &bv, BitVector *quot, BitVector *rem) const | stabilizer::util::BitVector | |
| bvuge(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvugt(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvule(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvult(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvumulo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvurem(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvusubo(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvxnor(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvxor(const BitVector &bv) const | stabilizer::util::BitVector | |
| bvzext(uint64_t n) const | stabilizer::util::BitVector | |
| compare(const BitVector &bv) const | stabilizer::util::BitVector | |
| count_leading(bool zeros) const | stabilizer::util::BitVector | private |
| count_leading_ones() const | stabilizer::util::BitVector | |
| count_leading_zeros() const | stabilizer::util::BitVector | |
| count_trailing_ones() const | stabilizer::util::BitVector | |
| count_trailing_zeros() const | stabilizer::util::BitVector | |
| d_size | stabilizer::util::BitVector | private |
| d_val_gmp | stabilizer::util::BitVector | |
| d_val_uint64 | stabilizer::util::BitVector | |
| fits_in_size(uint64_t size, const std::string &str, uint32_t base) | stabilizer::util::BitVector | static |
| fits_in_size(uint64_t size, uint64_t value, bool sign=false) | stabilizer::util::BitVector | static |
| fits_in_size(uint64_t size, const mpz_t value) | stabilizer::util::BitVector | static |
| flip_bit(uint64_t idx) | stabilizer::util::BitVector | |
| from_si(uint64_t size, int64_t value, bool truncate=false) | stabilizer::util::BitVector | static |
| from_ui(uint64_t size, uint64_t value, bool truncate=false) | stabilizer::util::BitVector | static |
| get_limb(void *limb, uint64_t nbits_rem, bool zeros) const | stabilizer::util::BitVector | private |
| gmp_value() const | stabilizer::util::BitVector | |
| hash() const | stabilizer::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() const | stabilizer::util::BitVector | |
| is_gmp() const | stabilizer::util::BitVector | inlineprivate |
| is_max_signed() const | stabilizer::util::BitVector | |
| is_min_signed() const | stabilizer::util::BitVector | |
| is_neg_overflow() const | stabilizer::util::BitVector | |
| is_null() const | stabilizer::util::BitVector | inline |
| is_one() const | stabilizer::util::BitVector | |
| is_ones() const | stabilizer::util::BitVector | |
| is_power_of_two() const | stabilizer::util::BitVector | |
| is_sadd_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_sdiv_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_smul_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_ssub_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_true() const | stabilizer::util::BitVector | |
| is_uadd_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_umul_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_usub_overflow(const BitVector &bv) const | stabilizer::util::BitVector | |
| is_zero() const | stabilizer::util::BitVector | |
| iset(uint64_t value) | stabilizer::util::BitVector | |
| iset(const BitVector &bv) | stabilizer::util::BitVector | |
| lsb() const | stabilizer::util::BitVector | |
| mk_false() | stabilizer::util::BitVector | static |
| mk_max_signed(uint64_t size) | stabilizer::util::BitVector | static |
| mk_min_signed(uint64_t size) | stabilizer::util::BitVector | static |
| mk_one(uint64_t size) | stabilizer::util::BitVector | static |
| mk_ones(uint64_t size) | stabilizer::util::BitVector | static |
| mk_true() | stabilizer::util::BitVector | static |
| mk_zero(uint64_t size) | stabilizer::util::BitVector | static |
| msb() const | stabilizer::util::BitVector | |
| operator!=(const BitVector &bv) const | stabilizer::util::BitVector | |
| operator=(const BitVector &other) | stabilizer::util::BitVector | |
| operator==(const BitVector &bv) const | stabilizer::util::BitVector | |
| s_native_size | stabilizer::util::BitVector | static |
| set_bit(uint64_t idx, bool value) | stabilizer::util::BitVector | |
| shift_is_uint64(uint64_t *res) const | stabilizer::util::BitVector | private |
| signed_compare(const BitVector &bv) const | stabilizer::util::BitVector | |
| size() const | stabilizer::util::BitVector | inline |
| str(uint32_t base=2) const | stabilizer::util::BitVector | |
| to_mpz() const | stabilizer::util::BitVector | |
| to_uint64(bool truncate=false) const | stabilizer::util::BitVector | |
| uint64_fdiv_r_2exp(uint64_t size, uint64_t val) | stabilizer::util::BitVector | privatestatic |
| ~BitVector() | stabilizer::util::BitVector | |