The class function symbol. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::data
	Namespace for all data library functionality.

Typedefs
typedef std::pair< core::identifier_string, sort_expression >	mcrl2::data::function_symbol_key_type

typedef atermpp::term_list< function_symbol >	mcrl2::data::function_symbol_list
	\brief list of function_symbols

typedef std::vector< function_symbol >	mcrl2::data::function_symbol_vector
	\brief vector of function_symbols

Functions
template<class... ARGUMENTS>
void	mcrl2::data::make_function_symbol (atermpp::aterm &t, const ARGUMENTS &... args)

std::string	mcrl2::data::pp (const function_symbol &x)

std::ostream &	mcrl2::data::operator<< (std::ostream &out, const function_symbol &x)

void	mcrl2::data::swap (function_symbol &t1, function_symbol &t2)
	\brief swap overload

std::string	mcrl2::data::pp (const function_symbol_list &x)

std::string	mcrl2::data::pp (const function_symbol_vector &x)

std::set< data::variable >	mcrl2::data::find_all_variables (const data::function_symbol &x)

Detailed Description

The class function symbol.

Definition in file function_symbol.h.

Classes