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:

• solvers/floatbv/float_utils.h