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
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:
parse_float.cpp:16
mp_integer
BigInt mp_integer
Definition:
mp_arith.h:19
mp_arith.h
ansi-c
literals
parse_float.h
Generated by
1.8.12