CBMC
Public Member Functions | Public Attributes | List of all members
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 124 of file float_bv.h.

Constructor & Destructor Documentation

◆ unpacked_floatt()

float_bvt::unpacked_floatt::unpacked_floatt ( )
inline

Definition at line 129 of file float_bv.h.

Member Data Documentation

◆ exponent

exprt float_bvt::unpacked_floatt::exponent

Definition at line 127 of file float_bv.h.

◆ fraction

exprt float_bvt::unpacked_floatt::fraction

Definition at line 127 of file float_bv.h.

◆ infinity

exprt float_bvt::unpacked_floatt::infinity

Definition at line 126 of file float_bv.h.

◆ NaN

exprt float_bvt::unpacked_floatt::NaN

Definition at line 126 of file float_bv.h.

◆ sign

exprt float_bvt::unpacked_floatt::sign

Definition at line 126 of file float_bv.h.

◆ zero

exprt float_bvt::unpacked_floatt::zero

Definition at line 126 of file float_bv.h.

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