mCRL2
Loading...
Searching...
No Matches
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_sortmcrl2::data::function_sort_list
 list of function sorts
 
typedef std::vector< function_sortmcrl2::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.