mCRL2
Loading...
Searching...
No Matches
basic_sort.h File Reference

The class basic_sort. More...

Go to the source code of this file.

Classes

class  mcrl2::data::basic_sort
 \brief A basic 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< basic_sortmcrl2::data::basic_sort_list
 list of basic sorts
 
typedef std::vector< basic_sortmcrl2::data::basic_sort_vector
 vector of basic sorts
 

Functions

template<class... ARGUMENTS>
void mcrl2::data::make_basic_sort (atermpp::aterm &t, const ARGUMENTS &... args)
 
std::string mcrl2::data::pp (const basic_sort &x)
 
std::ostream & mcrl2::data::operator<< (std::ostream &out, const basic_sort &x)
 
void mcrl2::data::swap (basic_sort &t1, basic_sort &t2)
 \brief swap overload
 

Detailed Description

The class basic_sort.

Definition in file basic_sort.h.