cprover
float_utilst::unpacked_floatt Struct Reference

#include <float_utils.h>

Inheritance diagram for float_utilst::unpacked_floatt:
[legend]
Collaboration diagram for float_utilst::unpacked_floatt:
[legend]

Public Member Functions

 unpacked_floatt ()
 

Public Attributes

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

Detailed Description

Definition at line 164 of file float_utils.h.

Constructor & Destructor Documentation

◆ unpacked_floatt()

float_utilst::unpacked_floatt::unpacked_floatt ( )
inline

Definition at line 169 of file float_utils.h.

Member Data Documentation

◆ exponent

◆ fraction

◆ infinity

◆ NaN

◆ sign

◆ zero

literalt float_utilst::unpacked_floatt::zero

Definition at line 166 of file float_utils.h.

Referenced by float_utilst::add_sub(), float_utilst::div(), and float_utilst::mul().


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