CBMC
function_cfg_infot Member List

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_infotinlineexplicit
is_dirtyfunction_cfg_infotprivate
is_local(const irep_idt &ident) const overridefunction_cfg_infotinlinevirtual
is_local_composite_access(const exprt &expr) constcfg_infotinline
is_not_local_or_dirty_local(const irep_idt &ident) const overridefunction_cfg_infotinlinevirtual
localsfunction_cfg_infotprivate
parametersfunction_cfg_infotprivate