- Generated by
1.9.8
|
CBMC
|
This is the complete list of members for bv_utilst, including all inherited members.
| absolute_value(const bvt &op) | bv_utilst | |
| add(const bvt &op0, const bvt &op1) | bv_utilst | inline |
| add_sub(const bvt &op0, const bvt &op1, bool subtract) | bv_utilst | |
| add_sub(const bvt &op0, const bvt &op1, literalt subtract) | bv_utilst | |
| add_sub_no_overflow(const bvt &op0, const bvt &op1, bool subtract, representationt rep) | bv_utilst | |
| adder(const bvt &op0, const bvt &op1, literalt carry_in) | bv_utilst | protected |
| adder_no_overflow(const bvt &op0, const bvt &op1, bool subtract, representationt rep) | bv_utilst | protected |
| adder_no_overflow(const bvt &op0, const bvt &op1) | bv_utilst | protected |
| build_constant(const mp_integer &i, std::size_t width) | bv_utilst | static |
| bv_utilst(propt &_prop) | bv_utilst | inlineexplicit |
| carry(literalt a, literalt b, literalt c) | bv_utilst | |
| carry_out(const bvt &op0, const bvt &op1, literalt carry_in) | bv_utilst | |
| concatenate(const bvt &a, const bvt &b) | bv_utilst | static |
| cond_implies_equal(literalt cond, const bvt &a, const bvt &b) | bv_utilst | |
| cond_negate(const bvt &bv, const literalt cond) | bv_utilst | |
| cond_negate_no_overflow(const bvt &bv, const literalt cond) | bv_utilst | protected |
| dadda_tree(const std::vector< bvt > &pps) | bv_utilst | protected |
| divider(const bvt &op0, const bvt &op1, representationt rep) | bv_utilst | inline |
| divider(const bvt &op0, const bvt &op1, bvt &res, bvt &rem, representationt rep) | bv_utilst | |
| equal(const bvt &op0, const bvt &op1) | bv_utilst | |
| extension(const bvt &bv, std::size_t new_size, representationt rep) | bv_utilst | static |
| extract(const bvt &a, std::size_t first, std::size_t last) | bv_utilst | static |
| extract_lsb(const bvt &a, std::size_t n) | bv_utilst | static |
| extract_msb(const bvt &a, std::size_t n) | bv_utilst | static |
| full_adder(const literalt a, const literalt b, const literalt carry_in, literalt &carry_out) | bv_utilst | |
| inc(const bvt &op) | bv_utilst | inline |
| incrementer(const bvt &op, literalt carry_in) | bv_utilst | |
| incrementer(bvt &op, literalt carry_in, literalt &carry_out) | bv_utilst | |
| inverted(const bvt &op) | bv_utilst | static |
| is_all_ones(const bvt &op) | bv_utilst | inline |
| is_constant(const bvt &bv) | bv_utilst | static |
| is_int_min(const bvt &op) | bv_utilst | inline |
| is_not_zero(const bvt &op) | bv_utilst | inline |
| is_one(const bvt &op) | bv_utilst | |
| is_zero(const bvt &op) | bv_utilst | inline |
| lt_or_le(bool or_equal, const bvt &bv0, const bvt &bv1, representationt rep) | bv_utilst | |
| multiplier(const bvt &op0, const bvt &op1, representationt rep) | bv_utilst | |
| multiplier_no_overflow(const bvt &op0, const bvt &op1, representationt rep) | bv_utilst | |
| negate(const bvt &op) | bv_utilst | |
| negate_no_overflow(const bvt &op) | bv_utilst | |
| overflow_add(const bvt &op0, const bvt &op1, representationt rep) | bv_utilst | |
| overflow_negate(const bvt &op) | bv_utilst | |
| overflow_sub(const bvt &op0, const bvt &op1, representationt rep) | bv_utilst | |
| popcount(const bvt &bv) | bv_utilst | |
| prop | bv_utilst | protected |
| rel(const bvt &bv0, irep_idt id, const bvt &bv1, representationt rep) | bv_utilst | |
| remainder(const bvt &op0, const bvt &op1, representationt rep) | bv_utilst | inline |
| representationt enum name | bv_utilst | |
| saturating_add_sub(const bvt &op0, const bvt &op1, bool subtract, representationt rep) | bv_utilst | |
| select(literalt s, const bvt &a, const bvt &b) | bv_utilst | |
| set_equal(const bvt &a, const bvt &b) | bv_utilst | |
| shift(const bvt &op, const shiftt shift, std::size_t distance) | bv_utilst | static |
| shift(const bvt &op, const shiftt shift, const bvt &distance) | bv_utilst | |
| shiftt enum name | bv_utilst | |
| sign_bit(const bvt &op) | bv_utilst | inlinestatic |
| sign_extension(const bvt &bv, std::size_t new_size) | bv_utilst | inlinestatic |
| signed_divider(const bvt &op0, const bvt &op1, bvt &res, bvt &rem) | bv_utilst | |
| signed_less_than(const bvt &bv0, const bvt &bv1) | bv_utilst | |
| signed_multiplier(const bvt &op0, const bvt &op1) | bv_utilst | |
| signed_multiplier_no_overflow(const bvt &op0, const bvt &op1) | bv_utilst | protected |
| sub(const bvt &op0, const bvt &op1) | bv_utilst | inline |
| unsigned_divider(const bvt &op0, const bvt &op1, bvt &res, bvt &rem) | bv_utilst | |
| unsigned_less_than(const bvt &bv0, const bvt &bv1) | bv_utilst | |
| unsigned_multiplier(const bvt &op0, const bvt &op1) | bv_utilst | |
| unsigned_multiplier_no_overflow(const bvt &op0, const bvt &op1) | bv_utilst | protected |
| verilog_bv_has_x_or_z(const bvt &) | bv_utilst | |
| verilog_bv_normal_bits(const bvt &) | bv_utilst | static |
| wallace_tree(const std::vector< bvt > &pps) | bv_utilst | protected |
| zero_extension(const bvt &bv, std::size_t new_size) | bv_utilst | inlinestatic |
| zeros(std::size_t new_size) | bv_utilst | inlinestatic |
1.9.8