cprover
Loading...
Searching...
No Matches
string_constant.h File Reference
#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_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

◆ can_cast_expr< string_constantt >()

template<>
bool can_cast_expr< string_constantt > ( const exprt & base)
inline

Definition at line 38 of file string_constant.h.

◆ to_string_constant() [1/4]

const string_constantt & to_string_constant ( const exprt & expr)
inline

Definition at line 48 of file string_constant.h.

◆ to_string_constant() [2/4]

const string_constantt & to_string_constant ( const typet & type)
inline

Definition at line 54 of file string_constant.h.

◆ to_string_constant() [3/4]

string_constantt & to_string_constant ( exprt & expr)
inline

Definition at line 59 of file string_constant.h.

◆ to_string_constant() [4/4]

string_constantt & to_string_constant ( typet & type)
inline

Definition at line 65 of file string_constant.h.

◆ validate_expr()

void validate_expr ( const string_constantt & expr)
inline

Definition at line 43 of file string_constant.h.