cprover
float_utilst::unbiased_floatt Struct Reference

#include <float_utils.h>

Inheritance diagram for float_utilst::unbiased_floatt:
[legend]
Collaboration diagram for float_utilst::unbiased_floatt:
[legend]

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 186 of file float_utils.h.


The documentation for this struct was generated from the following file: