cprover
|
ANSI-C Misc Utilities. More...
#include <string>
Go to the source code of this file.
Functions | |
std::string | MetaString (const std::string &in) |
ANSI-C Misc Utilities.
Definition in file c_misc.h.
std::string MetaString | ( | const std::string & | in | ) |
Definition at line 95 of file c_misc.cpp.
References MetaChar().
Referenced by expr2ct::convert_norep(), expr2ct::convert_rec(), expr2cppt::convert_rec(), expr2javat::convert_with_precedence(), and expr2ct::convert_with_precedence().