cprover
parse_float.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: ANSI-C Conversion / Type Checking
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANSI_C_LITERALS_PARSE_FLOAT_H
13 #define CPROVER_ANSI_C_LITERALS_PARSE_FLOAT_H
14 
15 #include <string>
16 
17 #include <util/mp_arith.h>
18 
19 void parse_float(
20  const std::string &src,
21  mp_integer &significand,
22  mp_integer &exponent,
23  unsigned &exponent_base, // 2 (hex) or 10
24  bool &is_float,
25  bool &is_long,
26  bool &is_imaginary, // a gcc extension
27  bool &is_decimal, // a gcc extension
28  bool &is_float80, // a gcc extension
29  bool &is_float128); // a gcc extension
30 
31 #endif // CPROVER_ANSI_C_LITERALS_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: parse_float.cpp:16
BigInt mp_integer
Definition: mp_arith.h:19