mCRL2
Loading...
Searching...
No Matches
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@"  ,
 
)

◆ 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@"  ,
 
)

◆ g_tree_node()

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