cprover
Loading...
Searching...
No Matches
parse_float.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: ANSI-C Conversion / Type Checking
4
5Author: 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
20{
21public:
23 unsigned exponent_base; // 2 (hex) or 10
24
26
27 // gcc extensions
33
34 // parse!
35 explicit parse_floatt(const std::string &);
36};
37
38#endif // CPROVER_ANSI_C_LITERALS_PARSE_FLOAT_H
bool is_imaginary
Definition: parse_float.h:28
unsigned exponent_base
Definition: parse_float.h:23
mp_integer significand
Definition: parse_float.h:22
mp_integer exponent
Definition: parse_float.h:22
bool is_float16
Definition: parse_float.h:28
bool is_float64x
Definition: parse_float.h:30
bool is_float64
Definition: parse_float.h:30
bool is_decimal
Definition: parse_float.h:28
bool is_float128x
Definition: parse_float.h:32
bool is_float32
Definition: parse_float.h:29
bool is_float32x
Definition: parse_float.h:29
bool is_float80
Definition: parse_float.h:31
bool is_float128
Definition: parse_float.h:32
BigInt mp_integer
Definition: smt_terms.h:12