cprover
parse_float.h File Reference

ANSI-C Conversion / Type Checking. More...

#include <string>
#include <util/mp_arith.h>
Include dependency graph for parse_float.h:
This graph shows which files directly or indirectly include this file:

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

ANSI-C Conversion / Type Checking.

Definition in file parse_float.h.

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().