CBMC
|
This is the complete list of members for function_cfg_infot, including all inherited members.
function_cfg_infot(const goto_functiont &_goto_function) | function_cfg_infot | inlineexplicit |
is_dirty | function_cfg_infot | private |
is_local(const irep_idt &ident) const override | function_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 | function_cfg_infot | inlinevirtual |
locals | function_cfg_infot | private |
parameters | function_cfg_infot | private |