cprover
|
#include <util/std_expr.h>
Go to the source code of this file.
Classes | |
class | ssa_exprt |
Expression providing an SSA-renamed symbol of expressions. More... | |
Functions | |
const ssa_exprt & | to_ssa_expr (const exprt &expr) |
Cast a generic exprt to an ssa_exprt. More... | |
ssa_exprt & | to_ssa_expr (exprt &expr) |
Cast a generic exprt to an ssa_exprt. More... | |
bool | is_ssa_expr (const exprt &expr) |
|
inline |
Definition at line 169 of file ssa_expr.h.
References irept::get_bool(), and irept::id().
Referenced by string_constraint_generatort::add_axioms_for_function_application(), array_name(), compute_pointer_offset(), graphml_witnesst::remove_l0_l1(), and value_set_dereferencet::valid_check().