27 if(expr.
id()==ID_side_effect &&
28 expr.
get(ID_statement)==ID_nondet)
30 exprt new_expr(ID_nondet_symbol, expr.
type());
31 new_expr.
set(ID_identifier,
"symex::nondet"+std::to_string(
nondet_count++));
virtual void do_simplify(exprt &expr)
void replace_nondet(exprt &expr)
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
Base class for all expressions.
const source_locationt & source_location() const
#define Forall_operands(it, expr)
void set(const irep_namet &name, const irep_idt &value)
bool simplify(exprt &expr, const namespacet &ns)