ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parse_float.h File Reference
#include <string>
#include <util/arith/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, BigInt &significand, BigInt &exponent, unsigned &exponent_base, bool &is_float, bool &is_long)

Function Documentation

◆ parse_float()

void parse_float ( const std::string & src,
BigInt & significand,
BigInt & exponent,
unsigned & exponent_base,
bool & is_float,
bool & is_long )