CBMC
|
This is the complete list of members for loop_cfg_infot, including all inherited members.
erase_locals(std::set< exprt > &exprs) | loop_cfg_infot | inline |
is_dirty | loop_cfg_infot | private |
is_local(const irep_idt &ident) const override | loop_cfg_infot | inlinevirtual |
is_local_composite_access(const exprt &expr) const | cfg_infot | inline |
is_not_local_or_dirty_local(const irep_idt &ident) const override | loop_cfg_infot | inlinevirtual |
locals | loop_cfg_infot | private |
loop_cfg_infot(goto_functiont &_goto_function, const loopt &loop) | loop_cfg_infot | inline |