cprover
float_bvt::unpacked_floatt Struct Reference

#include <float_bv.h>

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

Public Member Functions

 unpacked_floatt ()
 

Public Attributes

exprt sign
 
exprt infinity
 
exprt zero
 
exprt NaN
 
exprt fraction
 
exprt exponent
 

Detailed Description

Definition at line 142 of file float_bv.h.

Constructor & Destructor Documentation

◆ unpacked_floatt()

float_bvt::unpacked_floatt::unpacked_floatt ( )
inline

Definition at line 147 of file float_bv.h.

Member Data Documentation

◆ exponent

◆ fraction

◆ infinity

◆ NaN

◆ sign

◆ zero

exprt float_bvt::unpacked_floatt::zero

Definition at line 144 of file float_bv.h.

Referenced by float_bvt::add_sub(), float_bvt::div(), float_bvt::mul(), and float_bvt::unpack().


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