exception_typeidt Member List

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

concrete_subtype_ids(const irep_idt &caught) const	exception_typeidt
concrete_subtypes(const irep_idt &caught) const	exception_typeidt
exception_typeidt()=default	exception_typeidt
exception_typeidt(const namespacet &ns)	exception_typeidt	explicit
id_of(const irep_idt &name)	exception_typeidt
is_registered(const irep_idt &name) const	exception_typeidt	inline
is_subtype(const irep_idt &thrown, const irep_idt &caught) const	exception_typeidt
no_type	exception_typeidt	static
register_chain(const std::vector< irep_idt > &chain)	exception_typeidt
size() const	exception_typeidt	inline