cprover
|
Public Member Functions | |
unpacked_floatt () | |
Public Attributes | |
exprt | sign |
exprt | infinity |
exprt | zero |
exprt | NaN |
exprt | fraction |
exprt | exponent |
Definition at line 126 of file float_bv.h.
|
inline |
Definition at line 131 of file float_bv.h.
exprt float_bvt::unpacked_floatt::exponent |
Definition at line 129 of file float_bv.h.
exprt float_bvt::unpacked_floatt::fraction |
Definition at line 129 of file float_bv.h.
exprt float_bvt::unpacked_floatt::infinity |
Definition at line 128 of file float_bv.h.
exprt float_bvt::unpacked_floatt::NaN |
Definition at line 128 of file float_bv.h.
exprt float_bvt::unpacked_floatt::sign |
Definition at line 128 of file float_bv.h.
exprt float_bvt::unpacked_floatt::zero |
Definition at line 128 of file float_bv.h.