function_symbol_generator.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
class	atermpp::function_symbol_generator
	Generates unique function symbols with a given prefix. More...

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

Functions
static std::mutex &	atermpp::function_symbol_generator_mutex ()
static std::size_t &	atermpp::generator_sequence_number ()

Detailed Description

add your file description here.

Definition in file function_symbol_generator.h.