float_utilst::unpacked_floatt Struct Reference

#include <float_utils.h>

Inheritance diagram for float_utilst::unpacked_floatt:

Collaboration diagram for float_utilst::unpacked_floatt:

Public Member Functions
	unpacked_floatt ()

Public Attributes
literalt	sign
literalt	infinity
literalt	zero
literalt	NaN
bvt	fraction
bvt	exponent

Detailed Description

Definition at line 173 of file float_utils.h.

Constructor & Destructor Documentation

unpacked_floatt()

float_utilst::unpacked_floatt::unpacked_floatt ( )

inline

Definition at line 178 of file float_utils.h.

Member Data Documentation

exponent

bvt float_utilst::unpacked_floatt::exponent

Definition at line 176 of file float_utils.h.

fraction

bvt float_utilst::unpacked_floatt::fraction

Definition at line 176 of file float_utils.h.

infinity

literalt float_utilst::unpacked_floatt::infinity

Definition at line 175 of file float_utils.h.

NaN

literalt float_utilst::unpacked_floatt::NaN

Definition at line 175 of file float_utils.h.

sign

literalt float_utilst::unpacked_floatt::sign

Definition at line 175 of file float_utils.h.

zero

literalt float_utilst::unpacked_floatt::zero

Definition at line 175 of file float_utils.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/floatbv/float_utils.h