ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
convert_float_literal.h
Go to the documentation of this file.
1#ifndef CPROVER_ANSI_C_CONVERT_FLOAT_LITERAL_H
2#define CPROVER_ANSI_C_CONVERT_FLOAT_LITERAL_H
3
4#include <optional>
5#include <string>
6#include <util/arith/ieee_float.h>
7#include <util/irep/expr.h>
8
9void convert_float_literal(const std::string &src, exprt &dest);
10
14std::optional<ieee_floatt>
15nonfinite_float_from_spelling(const std::string &spelling);
16
17#endif
exprt
Definition expr.h:34
convert_float_literal
void convert_float_literal(const std::string &src, exprt &dest)
Definition convert_float_literal.cpp:10
nonfinite_float_from_spelling
std::optional< ieee_floatt > nonfinite_float_from_spelling(const std::string &spelling)
The non-finite double spelling names, or empty when it names none.
Definition convert_float_literal.cpp:94
ieee_float.h