#include <float_bv.h>

Inheritance diagram for float_bvt::unbiased_floatt:

Collaboration diagram for float_bvt::unbiased_floatt:

Additional Inherited Members
Public Member Functions inherited from float_bvt::unpacked_floatt
	unpacked_floatt ()

Public Attributes inherited from float_bvt::unpacked_floatt
exprt	sign

exprt	infinity

exprt	zero

exprt	NaN

exprt	fraction

exprt	exponent

Detailed Description

Definition at line 164 of file float_bv.h.

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

Additional Inherited Members