cprover
|
ANSI-C Conversion / Type Checking. More...
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) |
ANSI-C Conversion / Type Checking.
Definition in file parse_float.h.
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().