cprover
parse_float.cpp File Reference

Conversion of Expressions. More...

#include "parse_float.h"
#include <cctype>
Include dependency graph for parse_float.cpp:

Go to the source code of this file.

Functions

void parse_float (const std::string &src, mp_integer &significand, mp_integer &exponent, unsigned &exponent_base, bool &is_float, bool &is_long, bool &is_imaginary, bool &is_decimal, bool &is_float80, bool &is_float128)
 

Detailed Description

Conversion of Expressions.

Definition in file parse_float.cpp.

Function Documentation

◆ parse_float()

void parse_float ( const std::string &  src,
mp_integer significand,
mp_integer exponent,
unsigned &  exponent_base,
bool &  is_float,
bool &  is_long,
bool &  is_imaginary,
bool &  is_decimal,
bool &  is_float80,
bool &  is_float128 
)

Definition at line 16 of file parse_float.cpp.

References string2integer().

Referenced by convert_float_literal().