CBMC
|
This is the complete list of members for dfcc_loop_infot, including all inherited members.
addr_of_write_set_var | dfcc_loop_infot | |
assigns | dfcc_loop_infot | |
cbmc_loop_id | dfcc_loop_infot | |
decreases | dfcc_loop_infot | |
dfcc_loop_infot(std::size_t loop_id, std::size_t cbmc_loop_id, const std::set< exprt > &assigns, exprt invariant, exprt::operandst decreases, const std::unordered_set< irep_idt > &local, const std::unordered_set< irep_idt > &tracked, std::set< std::size_t > inner_loops, std::set< std::size_t > outer_loops, symbol_exprt write_set_var, symbol_exprt addr_of_write_set_var) | dfcc_loop_infot | inline |
find_head(goto_programt &goto_program) const | dfcc_loop_infot | |
find_latch(goto_programt &goto_program) const | dfcc_loop_infot | |
inner_loops | dfcc_loop_infot | |
invariant | dfcc_loop_infot | |
local | dfcc_loop_infot | |
loop_id | dfcc_loop_infot | |
must_skip() const | dfcc_loop_infot | inline |
outer_loops | dfcc_loop_infot | |
output(std::ostream &out) const | dfcc_loop_infot | |
tracked | dfcc_loop_infot | |
write_set_var | dfcc_loop_infot |