cprover
|
Go to the source code of this file.
Classes | |
class | string_constantt |
Functions | |
const string_constantt & | to_string_constant (const exprt &expr) |
const string_constantt & | to_string_constant (const typet &type) |
string_constantt & | to_string_constant (exprt &expr) |
string_constantt & | to_string_constant (typet &type) |
|
inline |
Definition at line 31 of file string_constant.h.
|
inline |
Definition at line 37 of file string_constant.h.
|
inline |
Definition at line 42 of file string_constant.h.
|
inline |
Definition at line 48 of file string_constant.h.