base_type.h File Reference

#include <irep2/irep2.h>
#include <util/irep/migrate.h>
#include <util/symtab/namespace.h>
#include <util/irep/type.h>
#include <util/base/union_find.h>

Include dependency graph for base_type.h:

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

Go to the source code of this file.

Classes
class	base_type_eqt

Functions
void	base_type (type2tc &type, const namespacet &ns)
void	base_type (expr2tc &expr, const namespacet &ns)
void	base_type (typet &type, const namespacet &ns)
bool	base_type_eq (const type2tc &type1, const type2tc &type2, const namespacet &ns)
bool	base_type_eq (const expr2tc &expr1, const expr2tc &expr2, const namespacet &ns)
bool	base_type_eq (const typet &type1, const typet &type2, const namespacet &ns)
bool	is_subclass_of (const type2tc &subclass, const type2tc &superclass, const namespacet &ns)
bool	is_subclass_of (const typet &subclass, const typet &superclass, const namespacet &ns)

Function Documentation

base_type() [1/3]

void base_type	(	expr2tc &	expr,
		const namespacet &	ns )

base_type() [2/3]

void base_type	(	type2tc &	type,
		const namespacet &	ns )

base_type() [3/3]

void base_type	(	typet &	type,
		const namespacet &	ns )

base_type_eq() [1/3]

bool base_type_eq	(	const expr2tc &	expr1,
		const expr2tc &	expr2,
		const namespacet &	ns )

base_type_eq() [2/3]

bool base_type_eq	(	const type2tc &	type1,
		const type2tc &	type2,
		const namespacet &	ns )

base_type_eq() [3/3]

bool base_type_eq	(	const typet &	type1,
		const typet &	type2,
		const namespacet &	ns )

is_subclass_of() [1/2]

bool is_subclass_of	(	const type2tc &	subclass,
		const type2tc &	superclass,
		const namespacet &	ns )

is_subclass_of() [2/2]

bool is_subclass_of	(	const typet &	subclass,
		const typet &	superclass,
		const namespacet &	ns )