exception_typeid.h File Reference

#include <util/irep/irep.h>
#include <cstddef>
#include <map>
#include <set>
#include <vector>

Include dependency graph for exception_typeid.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	exception_typeidt
	Closed-world numeric type-id registry for symbolic exception dispatch (issue #5075). More...