34 if(expr.
id()==ID_side_effect &&
35 expr.
get(ID_statement)==ID_nondet)
The type of an expression.
void replace_nondet(exprt &)
virtual void do_simplify(exprt &)
namespacet ns
Initialized just before symbolic execution begins, to point to both outer_symbol_table and the symbol...
const irep_idt & id() const
static unsigned nondet_count
static unsigned dynamic_counter
bool get_bool_option(const std::string &option) const
const irep_idt & get(const irep_namet &name) const
Expression to hold a nondeterministic choice.
Base class for all expressions.
std::string to_string(const string_constraintt &expr)
Used for debug printing.
const source_locationt & source_location() const
#define Forall_operands(it, expr)
source_locationt & add_source_location()
nondet_symbol_exprt build_symex_nondet(typet &type)
bool simplify(exprt &expr, const namespacet &ns)