- Generated by
1.9.1
|
CBMC
|
This is the complete list of members for float_utilst, including all inherited members.
| abs(const bvt &) | float_utilst | |
| add(const bvt &src1, const bvt &src2) | float_utilst | inline |
| add_bias(const bvt &exponent) | float_utilst | protected |
| add_sub(const bvt &src1, const bvt &src2, bool subtract) | float_utilst | virtual |
| bias(const unbiased_floatt &) | float_utilst | protected |
| build_constant(const ieee_floatt &) | float_utilst | |
| bv_utils | float_utilst | protected |
| conversion(const bvt &src, const ieee_float_spect &dest_spec) | float_utilst | |
| debug1(const bvt &op0, const bvt &op1) | float_utilst | |
| debug2(const bvt &op0, const bvt &op1) | float_utilst | |
| denormalization_shift(bvt &fraction, bvt &exponent) | float_utilst | protected |
| div(const bvt &src1, const bvt &src2) | float_utilst | virtual |
| exponent_all_ones(const bvt &) | float_utilst | |
| exponent_all_zeros(const bvt &) | float_utilst | |
| float_utilst(propt &_prop) | float_utilst | inlineexplicit |
| float_utilst(propt &_prop, const floatbv_typet &type) | float_utilst | inline |
| fraction_all_zeros(const bvt &) | float_utilst | |
| fraction_rounding_decision(const std::size_t dest_bits, const literalt sign, const bvt &fraction) | float_utilst | protected |
| from_signed_integer(const bvt &) | float_utilst | |
| from_unsigned_integer(const bvt &) | float_utilst | |
| get(const bvt &) const | float_utilst | |
| get_exponent(const bvt &) | float_utilst | |
| get_fraction(const bvt &) | float_utilst | |
| is_infinity(const bvt &) | float_utilst | |
| is_minus_inf(const bvt &) | float_utilst | |
| is_NaN(const bvt &) | float_utilst | |
| is_normal(const bvt &) | float_utilst | |
| is_plus_inf(const bvt &) | float_utilst | |
| is_zero(const bvt &) | float_utilst | |
| limit_distance(const bvt &dist, mp_integer limit) | float_utilst | protected |
| mul(const bvt &src1, const bvt &src2) | float_utilst | virtual |
| negate(const bvt &) | float_utilst | |
| normalization_shift(bvt &fraction, bvt &exponent) | float_utilst | protectedvirtual |
| pack(const biased_floatt &) | float_utilst | protected |
| prop | float_utilst | protected |
| relation(const bvt &src1, relt rel, const bvt &src2) | float_utilst | |
| relt enum name | float_utilst | |
| rem(const bvt &src1, const bvt &src2) | float_utilst | virtual |
| round_exponent(unbiased_floatt &result) | float_utilst | protected |
| round_fraction(unbiased_floatt &result) | float_utilst | protected |
| rounder(const unbiased_floatt &) | float_utilst | protectedvirtual |
| rounding_mode_bits | float_utilst | |
| set_rounding_mode(const bvt &) | float_utilst | |
| sign_bit(const bvt &src) | float_utilst | inlinestatic |
| spec | float_utilst | |
| sticky_right_shift(const bvt &op, const bvt &dist, literalt &sticky) | float_utilst | protected |
| sub(const bvt &src1, const bvt &src2) | float_utilst | inline |
| sub_bias(const bvt &exponent) | float_utilst | protected |
| subtract_exponents(const unbiased_floatt &src1, const unbiased_floatt &src2) | float_utilst | protected |
| to_integer(const bvt &src, std::size_t int_width, bool is_signed) | float_utilst | |
| to_signed_integer(const bvt &src, std::size_t int_width) | float_utilst | |
| to_unsigned_integer(const bvt &src, std::size_t int_width) | float_utilst | |
| unpack(const bvt &) | float_utilst | protected |
| ~float_utilst() | float_utilst | inlinevirtual |
1.9.1