cprover
string_expr.h File Reference

String expressions for the string solver. More...

#include <util/std_expr.h>
#include <util/arith_tools.h>
Include dependency graph for string_expr.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  string_exprt
 

Functions

string_exprtto_string_expr (exprt &expr)
 
const string_exprtto_string_expr (const exprt &expr)
 

Detailed Description

String expressions for the string solver.

Definition in file string_expr.h.

Function Documentation

§ to_string_expr() [1/2]

§ to_string_expr() [2/2]

const string_exprt& to_string_expr ( const exprt expr)
inline

Definition at line 140 of file string_expr.h.

References irept::id(), and exprt::operands().