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

abs() const	ieee_float_valuet
base10_digits(const mp_integer &src)	ieee_float_valuet	protectedstatic
decrement(bool distinguish_zero=false)	ieee_float_valuet	inline
exponent	ieee_float_valuet	protected
extract_base10(mp_integer &_exponent, mp_integer &_fraction) const	ieee_float_valuet
extract_base2(mp_integer &_exponent, mp_integer &_fraction) const	ieee_float_valuet
fltmax(const ieee_float_spect &_spec)	ieee_float_valuet	inlinestatic
fltmin(const ieee_float_spect &_spec)	ieee_float_valuet	inlinestatic
format(const format_spect &format_spec) const	ieee_float_valuet
fraction	ieee_float_valuet	protected
from_double(double)	ieee_float_valuet
from_expr(const constant_exprt &expr)	ieee_float_valuet
from_float(float)	ieee_float_valuet
get_exponent() const	ieee_float_valuet	inline
get_fraction() const	ieee_float_valuet	inline
get_sign() const	ieee_float_valuet	inline
ieee_equal(const ieee_float_valuet &) const	ieee_float_valuet
ieee_float_valuet(const ieee_float_spect &_spec)	ieee_float_valuet	inlineexplicit
ieee_float_valuet(const floatbv_typet &type)	ieee_float_valuet	inlineexplicit
ieee_float_valuet(const constant_exprt &expr)	ieee_float_valuet	inlineexplicit
ieee_float_valuet()	ieee_float_valuet	inline
ieee_not_equal(const ieee_float_valuet &) const	ieee_float_valuet
increment(bool distinguish_zero=false)	ieee_float_valuet	inline
infinity_flag	ieee_float_valuet	protected
is_double() const	ieee_float_valuet
is_float() const	ieee_float_valuet
is_infinity() const	ieee_float_valuet	inline
is_NaN() const	ieee_float_valuet	inline
is_negative() const	ieee_float_valuet	inline
is_normal() const	ieee_float_valuet
is_zero() const	ieee_float_valuet	inline
make_fltmax()	ieee_float_valuet
make_fltmin()	ieee_float_valuet
make_minus_infinity()	ieee_float_valuet
make_NaN()	ieee_float_valuet
make_plus_infinity()	ieee_float_valuet
make_zero()	ieee_float_valuet	inline
minus_infinity(const ieee_float_spect &_spec)	ieee_float_valuet	inlinestatic
NaN(const ieee_float_spect &_spec)	ieee_float_valuet	inlinestatic
NaN_flag	ieee_float_valuet	protected
negate()	ieee_float_valuet	inline
next_representable(bool greater)	ieee_float_valuet	protected
one(const floatbv_typet &)	ieee_float_valuet	static
one(const ieee_float_spect &)	ieee_float_valuet	static
operator!=(const ieee_float_valuet &) const	ieee_float_valuet
operator<(const ieee_float_valuet &) const	ieee_float_valuet
operator<=(const ieee_float_valuet &) const	ieee_float_valuet
operator==(const ieee_float_valuet &) const	ieee_float_valuet
operator==(int) const	ieee_float_valuet
operator==(double) const	ieee_float_valuet
operator==(float) const	ieee_float_valuet
operator>(const ieee_float_valuet &) const	ieee_float_valuet
operator>=(const ieee_float_valuet &) const	ieee_float_valuet
pack() const	ieee_float_valuet
plus_infinity(const ieee_float_spect &_spec)	ieee_float_valuet	inlinestatic
print(std::ostream &out) const	ieee_float_valuet
set_sign(bool _sign)	ieee_float_valuet	inline
sign_flag	ieee_float_valuet	protected
spec	ieee_float_valuet
to_ansi_c_string() const	ieee_float_valuet	inline
to_double() const	ieee_float_valuet
to_expr() const	ieee_float_valuet
to_float() const	ieee_float_valuet
to_integer() const	ieee_float_valuet
to_string_decimal(std::size_t precision) const	ieee_float_valuet
to_string_scientific(std::size_t precision) const	ieee_float_valuet
unpack(const mp_integer &)	ieee_float_valuet
zero(const floatbv_typet &type)	ieee_float_valuet	inlinestatic
zero(const ieee_float_spect &spec)	ieee_float_valuet	inlinestatic