function_symbol.h File Reference

Go to the source code of this file.

Classes
class	atermpp::function_symbol
class	atermpp::global_function_symbol

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	atermpp::detail

Variables
function_symbol	atermpp::detail::g_as_int
	These function symbols are used to indicate integer, list and empty list terms.
function_symbol	atermpp::detail::g_as_list
function_symbol	atermpp::detail::g_as_empty_list