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