CBMC
Public Member Functions | Public Attributes | List of all members
parse_floatt Class Reference

#include <parse_float.h>

Public Member Functions

 parse_floatt (const std::string &)
 

Public Attributes

mp_integer significand
 
mp_integer exponent
 
unsigned exponent_base
 
bool is_float
 
bool is_long
 
bool is_imaginary
 
bool is_decimal
 
bool is_float16
 
bool is_float32
 
bool is_float32x
 
bool is_float64
 
bool is_float64x
 
bool is_float80
 
bool is_float128
 
bool is_float128x
 

Detailed Description

Definition at line 19 of file parse_float.h.

Constructor & Destructor Documentation

◆ parse_floatt()

parse_floatt::parse_floatt ( const std::string &  src)
explicit

Definition at line 18 of file parse_float.cpp.

Member Data Documentation

◆ exponent

mp_integer parse_floatt::exponent

Definition at line 22 of file parse_float.h.

◆ exponent_base

unsigned parse_floatt::exponent_base

Definition at line 23 of file parse_float.h.

◆ is_decimal

bool parse_floatt::is_decimal

Definition at line 28 of file parse_float.h.

◆ is_float

bool parse_floatt::is_float

Definition at line 25 of file parse_float.h.

◆ is_float128

bool parse_floatt::is_float128

Definition at line 32 of file parse_float.h.

◆ is_float128x

bool parse_floatt::is_float128x

Definition at line 32 of file parse_float.h.

◆ is_float16

bool parse_floatt::is_float16

Definition at line 28 of file parse_float.h.

◆ is_float32

bool parse_floatt::is_float32

Definition at line 29 of file parse_float.h.

◆ is_float32x

bool parse_floatt::is_float32x

Definition at line 29 of file parse_float.h.

◆ is_float64

bool parse_floatt::is_float64

Definition at line 30 of file parse_float.h.

◆ is_float64x

bool parse_floatt::is_float64x

Definition at line 30 of file parse_float.h.

◆ is_float80

bool parse_floatt::is_float80

Definition at line 31 of file parse_float.h.

◆ is_imaginary

bool parse_floatt::is_imaginary

Definition at line 28 of file parse_float.h.

◆ is_long

bool parse_floatt::is_long

Definition at line 25 of file parse_float.h.

◆ significand

mp_integer parse_floatt::significand

Definition at line 22 of file parse_float.h.

The documentation for this class was generated from the following files: