CBMC
convert_real_literal.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Statement List Language Conversion
4 
5 Author: Matthias Weiss, matthias.weiss@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_REAL_LITERAL_H
13 #define CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_REAL_LITERAL_H
14 
15 #include <string>
16 
17 #include <util/std_expr.h>
18 
22 constant_exprt convert_real_literal(const std::string &src);
23 
24 #endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_REAL_VALUE_H
convert_real_literal
constant_exprt convert_real_literal(const std::string &src)
Converts a string into the corresponding 'Real' expression.
Definition: convert_real_literal.cpp:18
constant_exprt
A constant literal expression.
Definition: std_expr.h:2941
std_expr.h