cprover
|
#include "std_expr.h"
Go to the source code of this file.
Classes | |
class | string_constantt |
Functions | |
template<> | |
bool | can_cast_expr< string_constantt > (const exprt &base) |
void | validate_expr (const string_constantt &expr) |
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 41 of file string_constant.h.
|
inline |
Definition at line 47 of file string_constant.h.
|
inline |
Definition at line 52 of file string_constant.h.
|
inline |
Definition at line 58 of file string_constant.h.
|
inline |
Definition at line 36 of file string_constant.h.