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