cprover
convert_dint_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_DINT_LITERAL_H
13
#define CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_DINT_LITERAL_H
14
15
#include <
util/expr.h
>
16
#include <
util/std_expr.h
>
17
21
constant_exprt
convert_dint_dec_literal_value
(
const
std::string &src);
22
26
constant_exprt
convert_dint_hex_literal_value
(
const
std::string &src);
27
31
constant_exprt
convert_dint_bit_literal_value
(
const
std::string &src);
32
33
#endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_DNT_LITERAL_H
convert_dint_bit_literal_value
constant_exprt convert_dint_bit_literal_value(const std::string &src)
Converts a string into the corresponding 'DInt' expression.
Definition:
convert_dint_literal.cpp:88
expr.h
convert_dint_hex_literal_value
constant_exprt convert_dint_hex_literal_value(const std::string &src)
Converts a string into the corresponding 'DInt' expression.
Definition:
convert_dint_literal.cpp:75
convert_dint_dec_literal_value
constant_exprt convert_dint_dec_literal_value(const std::string &src)
Converts a string into the corresponding 'DInt' expression.
Definition:
convert_dint_literal.cpp:62
constant_exprt
A constant literal expression.
Definition:
std_expr.h:3906
std_expr.h
API to expression classes.
statement-list
converters
convert_dint_literal.h
Generated by
1.8.20