cprover
|
#include <float_utils.h>
Public Member Functions | |
unpacked_floatt () | |
Public Attributes | |
literalt | sign |
literalt | infinity |
literalt | zero |
literalt | NaN |
bvt | fraction |
bvt | exponent |
Definition at line 164 of file float_utils.h.
|
inline |
Definition at line 169 of file float_utils.h.
bvt float_utilst::unpacked_floatt::exponent |
Definition at line 167 of file float_utils.h.
Referenced by float_utilst::add_sub(), float_utilst::bias(), float_utilst::build_constant(), float_utilst::conversion(), float_utilst::div(), float_utilst::from_signed_integer(), float_utilst::from_unsigned_integer(), float_utilst::mul(), float_utilst::pack(), float_utilst::round_exponent(), float_utilst::round_fraction(), float_utilst::rounder(), and float_utilst::subtract_exponents().
bvt float_utilst::unpacked_floatt::fraction |
Definition at line 167 of file float_utils.h.
Referenced by float_utilst::add_sub(), float_utilst::bias(), float_utilst::build_constant(), float_utilst::conversion(), float_utilst::div(), float_utilst::from_signed_integer(), float_utilst::from_unsigned_integer(), float_utilst::mul(), float_utilst::pack(), float_utilst::round_exponent(), float_utilst::round_fraction(), and float_utilst::rounder().
literalt float_utilst::unpacked_floatt::infinity |
Definition at line 166 of file float_utils.h.
Referenced by float_utilst::add_sub(), float_utilst::bias(), float_utilst::build_constant(), float_utilst::conversion(), float_utilst::div(), float_utilst::mul(), float_utilst::pack(), float_utilst::round_exponent(), and float_utilst::rounder().
literalt float_utilst::unpacked_floatt::NaN |
Definition at line 166 of file float_utils.h.
Referenced by float_utilst::add_sub(), float_utilst::bias(), float_utilst::build_constant(), float_utilst::conversion(), float_utilst::div(), float_utilst::mul(), float_utilst::pack(), and float_utilst::rounder().
literalt float_utilst::unpacked_floatt::sign |
Definition at line 166 of file float_utils.h.
Referenced by float_utilst::add_sub(), float_utilst::bias(), float_utilst::build_constant(), float_utilst::conversion(), float_utilst::div(), float_utilst::from_signed_integer(), float_utilst::from_unsigned_integer(), float_utilst::mul(), float_utilst::pack(), float_utilst::round_exponent(), float_utilst::round_fraction(), float_utilst::rounder(), and float_utilst::unpack().
literalt float_utilst::unpacked_floatt::zero |
Definition at line 166 of file float_utils.h.
Referenced by float_utilst::add_sub(), float_utilst::div(), and float_utilst::mul().