float_bvt::unpacked_floatt Struct Reference

Inheritance diagram for float_bvt::unpacked_floatt:

Collaboration diagram for float_bvt::unpacked_floatt:

Public Member Functions
	unpacked_floatt ()

Public Attributes
exprt	sign
exprt	infinity
exprt	zero
exprt	NaN
exprt	fraction
exprt	exponent

Detailed Description

Definition at line 125 of file float_bv.h.

Constructor & Destructor Documentation

unpacked_floatt()

float_bvt::unpacked_floatt::unpacked_floatt ( )

inline

Definition at line 130 of file float_bv.h.

Member Data Documentation

exponent

exprt float_bvt::unpacked_floatt::exponent

Definition at line 128 of file float_bv.h.

fraction

exprt float_bvt::unpacked_floatt::fraction

Definition at line 128 of file float_bv.h.

infinity

exprt float_bvt::unpacked_floatt::infinity

Definition at line 127 of file float_bv.h.

NaN

exprt float_bvt::unpacked_floatt::NaN

Definition at line 127 of file float_bv.h.

sign

exprt float_bvt::unpacked_floatt::sign

Definition at line 127 of file float_bv.h.

zero

exprt float_bvt::unpacked_floatt::zero

Definition at line 127 of file float_bv.h.

---

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

• solvers/floatbv/float_bv.h