base_type.cpp File Reference

#include <util/expr/base_type.h>
#include <irep2/irep2_utils.h>
#include <util/irep/std_types.h>
#include <util/base/union_find.h>

Include dependency graph for base_type.cpp:

Functions
void	base_type (type2tc &type, const namespacet &ns)
void	base_type (typet &type, const namespacet &ns)
void	base_type (expr2tc &expr, const namespacet &ns)
bool	base_type_eq (const type2tc &type1, const type2tc &type2, const namespacet &ns)
bool	base_type_eq (const typet &type1, const typet &type2, const namespacet &ns)
bool	base_type_eq (const expr2tc &expr1, const expr2tc &expr2, const namespacet &ns)
static std::string	reformat_class_name (const std::string &from)
static bool	is_subclass_of_rec (const std::string &supername, const std::string &subname, 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 )

is_subclass_of_rec()

bool is_subclass_of_rec ( const std::string & supername, const std::string & subname, const namespacet & ns )

static

reformat_class_name()

std::string reformat_class_name ( const std::string & from )

static