function_sort.h File Reference

The class function_sort. More...

Go to the source code of this file.

Classes
class	mcrl2::data::function_sort
	\brief A function sort 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 atermpp::term_list< function_sort >	mcrl2::data::function_sort_list
	list of function sorts
typedef std::vector< function_sort >	mcrl2::data::function_sort_vector
	vector of function sorts

Functions
template<class... ARGUMENTS>
void	mcrl2::data::make_function_sort (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::data::pp (const function_sort &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const function_sort &x)
void	mcrl2::data::swap (function_sort &t1, function_sort &t2)
	\brief swap overload
function_sort	mcrl2::data::make_function_sort_ (const sort_expression &dom1, const sort_expression &codomain)
	Convenience constructor for function sort with domain size 1.
function_sort	mcrl2::data::make_function_sort_ (const sort_expression &dom1, const sort_expression &dom2, const sort_expression &codomain)
	Convenience constructor for function sort with domain size 2.
function_sort	mcrl2::data::make_function_sort_ (const sort_expression &dom1, const sort_expression &dom2, const sort_expression &dom3, const sort_expression &codomain)
	Convenience constructor for function sort with domain size 3.
function_sort	mcrl2::data::make_function_sort_ (const sort_expression &dom1, const sort_expression &dom2, const sort_expression &dom3, const sort_expression &dom4, const sort_expression &codomain)
	Convenience constructor for function sort with domain size 4.
function_sort	mcrl2::data::make_function_sort_ (const sort_expression &dom1, const sort_expression &dom2, const sort_expression &dom3, const sort_expression &dom4, const sort_expression &dom5, const sort_expression &codomain)
	Convenience constructor for function sort with domain size 5.
function_sort	mcrl2::data::make_function_sort_ (const sort_expression &dom1, const sort_expression &dom2, const sort_expression &dom3, const sort_expression &dom4, const sort_expression &dom5, const sort_expression &dom6, const sort_expression &codomain)
	Convenience constructor for function sort with domain size 6.

Detailed Description

The class function_sort.

Definition in file function_sort.h.