12 #ifndef CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H 13 #define CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H 23 const std::string &src,
24 bool force_integer_type);
26 #endif // CPROVER_ANSI_C_LITERALS_CONVERT_CHARACTER_LITERAL_H exprt convert_character_literal(const std::string &src, bool force_integer_type)
Base class for all expressions.