ESBMC
Efficient SMT-based Context-Bounded Model Checker
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
9#ifndef CPROVER_ANSI_C_PARSE_FLOAT_H
10#define CPROVER_ANSI_C_PARSE_FLOAT_H
11
12#include <string>
13#include <util/arith/mp_arith.h>
14
15void parse_float(
16 const std::string &src,
17 BigInt &significand,
18 BigInt &exponent,
19 unsigned &exponent_base,
20 bool &is_float,
21 bool &is_long);
22
23#endif
BigInt
Definition bigint.hh:58
mp_arith.h
parse_float
void parse_float(const std::string &src, BigInt &significand, BigInt &exponent, unsigned &exponent_base, bool &is_float, bool &is_long)
Definition parse_float.cpp:11