cprover
|
#include "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 173 of file ssa_expr.h.
References irept::get_bool(), and irept::id().
Referenced by array_name(), compute_pointer_offset(), interpretert::evaluate_address(), get_function_name(), graphml_witnesst::remove_l0_l1(), to_string_builtin_function(), and value_set_dereferencet::valid_check().
Cast a generic exprt to an ssa_exprt.
This is an unchecked conversion. expr must be known to be ssa_exprt.
expr | Source expression |
Definition at line 154 of file ssa_expr.h.
References irept::get_bool(), exprt::has_operands(), and irept::id().
Referenced by goto_symext::address_arithmetic(), adjust_byte_extract_rec(), array_name(), check_renaming(), check_renaming_l1(), compute_pointer_offset(), interpretert::evaluate_address(), get_function_name(), goto_symex_statet::get_l1_name(), goto_symex_statet::get_original_name(), get_symbol(), symex_dereference_statet::has_failed_symbol(), postconditiont::is_used(), goto_symex_statet::l2_thread_read_encoding(), goto_symext::phi_function(), goto_symext::process_array_expr(), graphml_witnesst::remove_l0_l1(), goto_symex_statet::rename(), goto_symex_statet::rename_address(), goto_symext::rewrite_quantifiers(), set_internal_dynamic_object(), goto_symext::symex_assign_rec(), goto_symext::symex_dead(), to_string_builtin_function(), goto_symext::trigger_auto_object(), and value_set_dereferencet::valid_check().
Cast a generic exprt to an ssa_exprt.
This is an unchecked conversion. expr must be known to be ssa_exprt.
expr | Source expression |
Definition at line 165 of file ssa_expr.h.
References irept::get_bool(), exprt::has_operands(), and irept::id().