cprover
|
C++ Language Conversion. More...
Go to the source code of this file.
Functions | |
exprt | convert_character_literal (const std::string &src, bool force_integer_type) |
C++ Language Conversion.
Definition in file convert_character_literal.h.
exprt convert_character_literal | ( | const std::string & | src, |
bool | force_integer_type | ||
) |
Definition at line 22 of file convert_character_literal.cpp.