string_constant.h File Reference

#include "std_expr.h"
#include "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
const string_constantt &	to_string_constant (const exprt &expr)
string_constantt &	to_string_constant (exprt &expr)

Function Documentation

to_string_constant() [1/2]

const string_constantt& to_string_constant ( const exprt &  expr )

inline

Definition at line 34 of file string_constant.h.

to_string_constant() [2/2]

string_constantt& to_string_constant ( exprt &  expr )

inline

Definition at line 40 of file string_constant.h.