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

The class container_sort. More...

Go to the source code of this file.

Classes

class  mcrl2::data::container_sort
 \brief A container 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< container_sortmcrl2::data::container_sort_list
 list of function sorts
 
typedef std::vector< container_sortmcrl2::data::container_sort_vector
 list of function sorts
 

Functions

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

Detailed Description

The class container_sort.

Definition in file container_sort.h.