cprover
|
#include <ieee_float.h>
Public Member Functions | |
mp_integer | bias () const |
ieee_float_spect (const floatbv_typet &type) | |
void | from_type (const floatbv_typet &type) |
ieee_float_spect () | |
ieee_float_spect (std::size_t _f, std::size_t _e) | |
std::size_t | width () const |
mp_integer | max_exponent () const |
mp_integer | max_fraction () const |
class floatbv_typet | to_type () const |
bool | operator== (const ieee_float_spect &other) const |
bool | operator!= (const ieee_float_spect &other) const |
Static Public Member Functions | |
static ieee_float_spect | half_precision () |
static ieee_float_spect | single_precision () |
static ieee_float_spect | double_precision () |
static ieee_float_spect | quadruple_precision () |
static ieee_float_spect | x86_80 () |
static ieee_float_spect | x86_96 () |
Public Attributes | |
std::size_t | f |
std::size_t | e |
bool | x86_extended |
Definition at line 25 of file ieee_float.h.
|
inlineexplicit |
Definition at line 38 of file ieee_float.h.
|
inline |
Definition at line 45 of file ieee_float.h.
|
inline |
Definition at line 49 of file ieee_float.h.
mp_integer ieee_float_spect::bias | ( | ) | const |
Definition at line 20 of file ieee_float.cpp.
|
inlinestatic |
Definition at line 80 of file ieee_float.h.
void ieee_float_spect::from_type | ( | const floatbv_typet & | type | ) |
Definition at line 45 of file ieee_float.cpp.
|
inlinestatic |
Definition at line 67 of file ieee_float.h.
mp_integer ieee_float_spect::max_exponent | ( | ) | const |
Definition at line 35 of file ieee_float.cpp.
mp_integer ieee_float_spect::max_fraction | ( | ) | const |
Definition at line 40 of file ieee_float.cpp.
|
inline |
Definition at line 113 of file ieee_float.h.
|
inline |
Definition at line 108 of file ieee_float.h.
|
inlinestatic |
Definition at line 86 of file ieee_float.h.
|
inlinestatic |
Definition at line 74 of file ieee_float.h.
floatbv_typet ieee_float_spect::to_type | ( | ) | const |
Definition at line 25 of file ieee_float.cpp.
|
inline |
Definition at line 54 of file ieee_float.h.
|
inlinestatic |
Definition at line 92 of file ieee_float.h.
|
inlinestatic |
Definition at line 100 of file ieee_float.h.
std::size_t ieee_float_spect::e |
Definition at line 30 of file ieee_float.h.
std::size_t ieee_float_spect::f |
Definition at line 30 of file ieee_float.h.
bool ieee_float_spect::x86_extended |
Definition at line 34 of file ieee_float.h.