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

Constructor & Destructor Documentation

◆ unpacked_floatt()

float_utilst::unpacked_floatt::unpacked_floatt ( )
inline

Definition at line 171 of file float_utils.h.

Member Data Documentation

◆ exponent

bvt float_utilst::unpacked_floatt::exponent

Definition at line 169 of file float_utils.h.

◆ fraction

bvt float_utilst::unpacked_floatt::fraction

Definition at line 169 of file float_utils.h.

◆ infinity

literalt float_utilst::unpacked_floatt::infinity

Definition at line 168 of file float_utils.h.

◆ NaN

literalt float_utilst::unpacked_floatt::NaN

Definition at line 168 of file float_utils.h.

◆ sign

literalt float_utilst::unpacked_floatt::sign

Definition at line 168 of file float_utils.h.

◆ zero

literalt float_utilst::unpacked_floatt::zero

Definition at line 168 of file float_utils.h.

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