cprover
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_constanttto_string_constant (const exprt &expr)
 
const string_constanttto_string_constant (const typet &type)
 
string_constanttto_string_constant (exprt &expr)
 
string_constanttto_string_constant (typet &type)
 

Function Documentation

◆ to_string_constant() [1/4]

const string_constantt& to_string_constant ( const exprt expr)
inline

Definition at line 31 of file string_constant.h.

◆ to_string_constant() [2/4]

const string_constantt& to_string_constant ( const typet type)
inline

Definition at line 37 of file string_constant.h.

◆ to_string_constant() [3/4]

string_constantt& to_string_constant ( exprt expr)
inline

Definition at line 42 of file string_constant.h.

◆ to_string_constant() [4/4]

string_constantt& to_string_constant ( typet type)
inline

Definition at line 48 of file string_constant.h.