cprover
Loading...
Searching...
No Matches
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: