cprover
Loading...
Searching...
No Matches
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 195 of file float_utils.h.


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