cprover
|
Go to the source code of this file.
Classes | |
class | string_constantt |
Functions | |
const string_constantt & | to_string_constant (const exprt &expr) |
string_constantt & | to_string_constant (exprt &expr) |
|
inline |
Definition at line 34 of file string_constant.h.
|
inline |
Definition at line 40 of file string_constant.h.