float_utilst::unbiased_floatt Struct Reference
#include <float_utils.h>
Inheritance diagram for float_utilst::unbiased_floatt: Collaboration diagram for float_utilst::unbiased_floatt:Additional Inherited Members | |
| Public Member Functions inherited from float_utilst::unpacked_floatt | |
| unpacked_floatt () | |
| Public Attributes inherited from float_utilst::unpacked_floatt | |
| literalt | sign |
| literalt | infinity |
| literalt | zero |
| literalt | NaN |
| bvt | fraction |
| bvt | exponent |
Detailed Description
Definition at line 188 of file float_utils.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/solvers/floatbv/float_utils.h
