ieee_floatt Member List

This is the complete list of members for ieee_floatt, including all inherited members.

align()	ieee_floatt	protected
base10_digits(const mp_integer &src)	ieee_floatt	protectedstatic
build(const mp_integer &exp, const mp_integer &frac)	ieee_floatt
change_spec(const ieee_float_spect &dest_spec)	ieee_floatt
decrement(bool distinguish_zero=false)	ieee_floatt	inline
divide_and_round(mp_integer &dividend, const mp_integer &divisor)	ieee_floatt	protected
exponent	ieee_floatt	protected
extract_base10(mp_integer &_exponent, mp_integer &_fraction) const	ieee_floatt
extract_base2(mp_integer &_exponent, mp_integer &_fraction) const	ieee_floatt
fltmax(const ieee_float_spect &_spec)	ieee_floatt	inlinestatic
fltmin(const ieee_float_spect &_spec)	ieee_floatt	inlinestatic
format(const format_spect &format_spec) const	ieee_floatt
fraction	ieee_floatt	protected
from_base10(const mp_integer &exp, const mp_integer &frac)	ieee_floatt
from_double(const double d)	ieee_floatt
from_expr(const constant_exprt &expr)	ieee_floatt
from_float(const float f)	ieee_floatt
from_integer(const mp_integer &i)	ieee_floatt
get_exponent() const	ieee_floatt	inline
get_fraction() const	ieee_floatt	inline
get_sign() const	ieee_floatt	inline
ieee_equal(const ieee_floatt &other) const	ieee_floatt
ieee_floatt(const ieee_float_spect &_spec)	ieee_floatt	inlineexplicit
ieee_floatt(ieee_float_spect __spec, rounding_modet __rounding_mode)	ieee_floatt	inlineexplicit
ieee_floatt(const floatbv_typet &type)	ieee_floatt	inlineexplicit
ieee_floatt()	ieee_floatt	inline
ieee_floatt(const constant_exprt &expr)	ieee_floatt	inlineexplicit
ieee_not_equal(const ieee_floatt &other) const	ieee_floatt
increment(bool distinguish_zero=false)	ieee_floatt	inline
infinity_flag	ieee_floatt	protected
is_double() const	ieee_floatt
is_float() const	ieee_floatt
is_infinity() const	ieee_floatt	inline
is_NaN() const	ieee_floatt	inline
is_normal() const	ieee_floatt
is_zero() const	ieee_floatt	inline
make_fltmax()	ieee_floatt
make_fltmin()	ieee_floatt
make_minus_infinity()	ieee_floatt
make_NaN()	ieee_floatt
make_plus_infinity()	ieee_floatt
make_zero()	ieee_floatt	inline
minus_infinity(const ieee_float_spect &_spec)	ieee_floatt	inlinestatic
NaN(const ieee_float_spect &_spec)	ieee_floatt	inlinestatic
NaN_flag	ieee_floatt	protected
negate()	ieee_floatt	inline
next_representable(bool greater)	ieee_floatt	protected
NONDETERMINISTIC enum value	ieee_floatt
operator!=(const ieee_floatt &other) const	ieee_floatt
operator*=(const ieee_floatt &other)	ieee_floatt
operator+=(const ieee_floatt &other)	ieee_floatt
operator-=(const ieee_floatt &other)	ieee_floatt
operator/=(const ieee_floatt &other)	ieee_floatt
operator<(const ieee_floatt &other) const	ieee_floatt
operator<=(const ieee_floatt &other) const	ieee_floatt
operator==(const ieee_floatt &other) const	ieee_floatt
operator==(int i) const	ieee_floatt
operator>(const ieee_floatt &other) const	ieee_floatt
operator>=(const ieee_floatt &other) const	ieee_floatt
pack() const	ieee_floatt
plus_infinity(const ieee_float_spect &_spec)	ieee_floatt	inlinestatic
print(std::ostream &out) const	ieee_floatt
ROUND_TO_EVEN enum value	ieee_floatt
ROUND_TO_MINUS_INF enum value	ieee_floatt
ROUND_TO_PLUS_INF enum value	ieee_floatt
ROUND_TO_ZERO enum value	ieee_floatt
rounding_mode	ieee_floatt
rounding_mode_expr(rounding_modet)	ieee_floatt	static
rounding_modet enum name	ieee_floatt
set_sign(bool _sign)	ieee_floatt	inline
sign_flag	ieee_floatt	protected
spec	ieee_floatt
to_ansi_c_string() const	ieee_floatt	inline
to_double() const	ieee_floatt
to_expr() const	ieee_floatt
to_float() const	ieee_floatt
to_integer() const	ieee_floatt
to_string_decimal(std::size_t precision) const	ieee_floatt
to_string_scientific(std::size_t precision) const	ieee_floatt
UNKNOWN enum value	ieee_floatt
unpack(const mp_integer &i)	ieee_floatt
zero(const floatbv_typet &type)	ieee_floatt	inlinestatic