CBMC: Member List

CBMC
Loading...
Searching...
No Matches
float_utilst Member List

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_float_valuet &) 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
fma(const bvt &multiply_lhs, const bvt &multiply_rhs, const bvt &addend) float_utilst
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_and_pack(const unbiased_floatt &) float_utilst protected
round_exponent(unbiased_floatt &result) float_utilst protected
round_fraction(unbiased_floatt &result) float_utilst protected
round_to_integral(const bvt &) float_utilst
rounder(const unbiased_floatt &) float_utilst protected
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

AltStyle によって変換されたページ (->オリジナル) /