- Generated by
1.15.0
|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for ieee_floatt, including all inherited members.
| align() | ieee_floatt | protected |
| base10_digits(const BigInt &src) | ieee_floatt | protectedstatic |
| build(const BigInt &exp, const BigInt &frac) | ieee_floatt | |
| change_spec(const ieee_float_spect &dest_spec) | ieee_floatt | |
| decrement(bool distinguish_zero=false) | ieee_floatt | inline |
| divide_and_round(BigInt &fraction, const BigInt &factor) | ieee_floatt | protected |
| exponent | ieee_floatt | protected |
| extract_base10(BigInt &_fraction, BigInt &_exponent) const | ieee_floatt | |
| extract_base2(BigInt &_fraction, BigInt &_exponent) 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 BigInt &exp, const BigInt &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 BigInt &i) | ieee_floatt | |
| get_exponent() const | ieee_floatt | inline |
| get_fraction() const | ieee_floatt | inline |
| get_sign() const | ieee_floatt | inline |
| ieee_floatt() | ieee_floatt | explicit |
| ieee_floatt(const ieee_float_spect &s) | ieee_floatt | explicit |
| ieee_floatt(const constant_exprt &expr) | ieee_floatt | explicit |
| increment(bool distinguish_zero=false) | ieee_floatt | inline |
| infinity_flag | ieee_floatt | protected |
| is_double() const | ieee_floatt | |
| is_finite() const | ieee_floatt | inline |
| is_float() const | ieee_floatt | |
| is_infinity() const | ieee_floatt | inline |
| is_NaN() const | ieee_floatt | inline |
| is_negative() 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 &a, const ieee_floatt &b) | ieee_floatt | friend |
| operator*=(const ieee_floatt &other) | ieee_floatt | |
| operator+(const ieee_floatt &lhs, const ieee_floatt &rhs) | ieee_floatt | friend |
| operator+=(const ieee_floatt &other) | ieee_floatt | |
| operator-(const ieee_floatt &lhs, const ieee_floatt &rhs) | ieee_floatt | friend |
| operator-() | ieee_floatt | |
| operator-=(const ieee_floatt &other) | ieee_floatt | |
| operator/=(const ieee_floatt &other) | ieee_floatt | |
| operator<(const ieee_floatt &a, const ieee_floatt &b) | ieee_floatt | friend |
| operator<(const ieee_floatt &a, int i) | ieee_floatt | friend |
| operator<<(std::ostream &out, const ieee_floatt &f) | ieee_floatt | friend |
| operator<=(const ieee_floatt &a, const ieee_floatt &b) | ieee_floatt | friend |
| operator<=(const ieee_floatt &a, int i) | ieee_floatt | friend |
| operator==(const ieee_floatt &a, const ieee_floatt &b) | ieee_floatt | friend |
| operator==(const ieee_floatt &a, int i) | ieee_floatt | friend |
| operator>(const ieee_floatt &a, const ieee_floatt &b) | ieee_floatt | friend |
| operator>(const ieee_floatt &a, int i) | ieee_floatt | friend |
| operator>=(const ieee_floatt &a, const ieee_floatt &b) | ieee_floatt | friend |
| operator>=(const ieee_floatt &a, int i) | ieee_floatt | friend |
| pack() const | ieee_floatt | |
| plus_infinity(const ieee_float_spect &_spec) | ieee_floatt | inlinestatic |
| print(std::ostream &out) const | ieee_floatt | |
| ROUND_TO_AWAY enum value | 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_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(unsigned precision) const | ieee_floatt | |
| to_string_scientific(unsigned precision) const | ieee_floatt | |
| UNKNOWN enum value | ieee_floatt | |
| unpack(const BigInt &i) | ieee_floatt |
1.15.0