The type of an expression, extends irept.
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
virtual void do_simplify(exprt &)
namespacet ns
Initialized just before symbolic execution begins, to point to both outer_symbol_table and the symbol...
static unsigned dynamic_counter
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Expression to hold a nondeterministic choice.
const symex_configt symex_config
Base class for all expressions.
nondet_symbol_exprt operator()(typet &type)
bool simplify(exprt &expr, const namespacet &ns)