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