ieee_floatt Member List

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

_rounding_mode	ieee_floatt	protected
abs() const	ieee_float_valuet
align()	ieee_floatt	protected
base10_digits(const mp_integer &src)	ieee_float_valuet	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_float_valuet	inline
divide_and_round(mp_integer &dividend, const mp_integer &divisor)	ieee_floatt	protected
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_base10(const mp_integer &exp, const mp_integer &frac)	ieee_floatt
from_double(double)	ieee_float_valuet
from_expr(const constant_exprt &expr)	ieee_float_valuet
from_float(float)	ieee_float_valuet
from_integer(const mp_integer &i)	ieee_floatt
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_floatt(ieee_float_spect __spec, rounding_modet __rounding_mode)	ieee_floatt	inline
ieee_floatt(ieee_float_spect __spec, rounding_modet __rounding_mode, const mp_integer &value)	ieee_floatt	inline
ieee_floatt(const floatbv_typet &type, rounding_modet __rounding_mode)	ieee_floatt	inline
ieee_floatt(const constant_exprt &expr, rounding_modet __rounding_mode)	ieee_floatt	inline
ieee_floatt(ieee_float_valuet __value, rounding_modet __rounding_mode)	ieee_floatt	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
NONDETERMINISTIC enum value	ieee_floatt
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_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_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
ROUND_TO_AWAY enum value	ieee_floatt
ROUND_TO_EVEN enum value	ieee_floatt
round_to_integral() const	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() const	ieee_floatt	inline
rounding_mode_expr(rounding_modet)	ieee_floatt	static
rounding_modet enum name	ieee_floatt
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_floatt
to_expr() const	ieee_float_valuet
to_float() const	ieee_floatt
to_integer() const	ieee_floatt
to_string_decimal(std::size_t precision) const	ieee_float_valuet
to_string_scientific(std::size_t precision) const	ieee_float_valuet
UNKNOWN enum value	ieee_floatt
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