cprover
|
String expressions for the string solver. More...
Go to the source code of this file.
Classes | |
class | string_exprt |
Functions | |
string_exprt & | to_string_expr (exprt &expr) |
const string_exprt & | to_string_expr (const exprt &expr) |
String expressions for the string solver.
Definition in file string_expr.h.
|
inline |
Definition at line 133 of file string_expr.h.
References irept::id(), and exprt::operands().
Referenced by string_constraint_generatort::add_axioms_for_string_expr(), string_refinementt::instantiate_not_contains(), string_not_contains_constraintt::s0(), and string_not_contains_constraintt::s1().
|
inline |
Definition at line 140 of file string_expr.h.
References irept::id(), and exprt::operands().