symbolic_types.cpp File Reference

#include "symbolic_types.h"

Include dependency graph for symbolic_types.cpp:

Functions
static void	complete_type (typet &type, const namespacet &ns)
typet	get_complete_type (typet type, const namespacet &ns)

Function Documentation

complete_type()

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

static

get_complete_type()

typet get_complete_type	(	typet	type,
		const namespacet &	ns )