#include "std_expr.h"
Include dependency graph for string_constant.h: This graph shows which files directly or indirectly include this file: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) |
Function Documentation
◆ can_cast_expr< string_constantt >()
template<>
|
inline |
Definition at line 38 of file string_constant.h.
◆ to_string_constant() [1/4]
|
inline |
Definition at line 48 of file string_constant.h.
◆ to_string_constant() [2/4]
|
inline |
Definition at line 54 of file string_constant.h.
◆ to_string_constant() [3/4]
|
inline |
Definition at line 59 of file string_constant.h.
◆ to_string_constant() [4/4]
|
inline |
Definition at line 65 of file string_constant.h.
◆ validate_expr()
|
inline |
Definition at line 43 of file string_constant.h.
