atermpp::anonymous_namespace{aterm_balanced_tree.h} Namespace Reference

Functions
global_function_symbol	g_empty ("@empty@", 0)
global_function_symbol	g_tree_node ("@node@", 2)
global_function_symbol	g_single_tree_node ("@single_node@", 1)
aterm	g_empty_tree (g_empty)

Function Documentation

g_empty()

global_function_symbol atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_empty	(	"@empty@"	,
		0
	)

g_empty_tree()

aterm atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_empty_tree

(

g_empty

)

g_single_tree_node()

global_function_symbol atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_single_tree_node	(	"@single_node@"	,
		1
	)

g_tree_node()

global_function_symbol atermpp::anonymous_namespace{aterm_balanced_tree.h}::g_tree_node	(	"@node@"	,
		2
	)