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

is_local(const irep_idt &ident) const =0	cfg_infot	pure virtual
is_local_composite_access(const exprt &expr) const	cfg_infot	inline
is_not_local_or_dirty_local(const irep_idt &ident) const =0	cfg_infot	pure virtual