cprover
|
#include <ssa_step.h>
Additional Inherited Members | |
![]() | |
symex_targett::sourcet | source |
goto_trace_stept::typet | type |
bool | hidden = false |
exprt | guard |
exprt | guard_handle |
ssa_exprt | ssa_lhs |
exprt | ssa_full_lhs |
exprt | original_full_lhs |
exprt | ssa_rhs |
symex_targett::assignment_typet | assignment_type |
exprt | cond_expr |
exprt | cond_handle |
std::string | comment |
irep_idt | format_string |
irep_idt | io_id |
bool | formatted = false |
std::list< exprt > | io_args |
std::list< exprt > | converted_io_args |
irep_idt | called_function |
std::vector< exprt > | ssa_function_arguments |
std::vector< exprt > | converted_function_arguments |
unsigned | atomic_section_id = 0 |
bool | ignore = false |
bool | converted = false |
Definition at line 205 of file ssa_step.h.
SSA_assignment_stept::SSA_assignment_stept | ( | symex_targett::sourcet | source, |
exprt | guard, | ||
ssa_exprt | ssa_lhs, | ||
exprt | ssa_full_lhs, | ||
exprt | original_full_lhs, | ||
exprt | ssa_rhs, | ||
symex_targett::assignment_typet | assignment_type | ||
) |
Definition at line 217 of file ssa_step.cpp.