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

dirty	goto_program_cfg_infot	protected
goto_program_cfg_infot(const goto_programt &goto_program)	goto_program_cfg_infot	inlineexplicit
is_local(const irep_idt &ident) const override	goto_program_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	goto_program_cfg_infot	inlinevirtual
locals	goto_program_cfg_infot	protected