CBMC
loop_cfg_infot Member List

This is the complete list of members for loop_cfg_infot, including all inherited members.

erase_locals(std::set< exprt > &exprs)loop_cfg_infotinline
is_dirtyloop_cfg_infotprivate
is_local(const irep_idt &ident) const overrideloop_cfg_infotinlinevirtual
is_local_composite_access(const exprt &expr) constcfg_infotinline
is_not_local_or_dirty_local(const irep_idt &ident) const overrideloop_cfg_infotinlinevirtual
localsloop_cfg_infotprivate
loop_cfg_infot(goto_functiont &_goto_function, const loopt &loop)loop_cfg_infotinline