python_types.cpp File Reference

#include <util/lang/python_types.h>
#include <util/irep/std_types.h>

Include dependency graph for python_types.cpp:

Functions
typet	none_type ()
typet	any_type ()
bool	returns_no_value (const typet &t)
void	set_python_aggregate_kind (typet &type, const irep_idt &kind)
irep_idt	python_aggregate_kind (const typet &type)
bool	is_python_internal_aggregate (const typet &type)

Function Documentation

any_type()

typet any_type

(

)

is_python_internal_aggregate()

bool is_python_internal_aggregate

(

const typet &

type

)

none_type()

typet none_type

(

)

python_aggregate_kind()

irep_idt python_aggregate_kind

(

const typet &

type

)

returns_no_value()

bool returns_no_value

(

const typet &

t

)

set_python_aggregate_kind()

void set_python_aggregate_kind	(	typet &	type,
		const irep_idt &	kind )