convert_integer_literal.h File Reference

#include <string>
#include <util/expr.h>

Include dependency graph for convert_integer_literal.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
exprt	convert_integer_literal (const std::string &src)

Detailed Description

C++ Language Conversion

Definition in file convert_integer_literal.h.

Function Documentation

convert_integer_literal()

exprt convert_integer_literal

(

const std::string &

src

)

Definition at line 21 of file convert_integer_literal.cpp.