atermpp Directory Reference

Directories
	detail
	standard_containers

Files
	algorithm.h
	Algorithms for ATerms.
	aterm.h
	The term_appl class represents function application.
	aterm_balanced_tree.h
	aterm_core.h
	aterm_int.h
	Term containing an integer.
	aterm_io.h
	aterm_io_binary.h
	aterm_io_text.h
	aterm_list.h
	aterm_string.h
	builder.h
	add your file description here.
	function_symbol.h
	function_symbol_generator.h
	add your file description here.
	set_operations.h
	Set operations on term lists.
	type_traits.h
	A class containing some type traits.