mCRL2
|
The class structured_sort. More...
Go to the source code of this file.
Classes | |
class | mcrl2::data::structured_sort |
structured 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< structured_sort > | mcrl2::data::structured_sort_list |
\brief list of structured_sorts | |
typedef std::vector< structured_sort > | mcrl2::data::structured_sort_vector |
\brief vector of structured_sorts | |
Functions | |
template<class... ARGUMENTS> | |
void | mcrl2::data::make_structured_sort (atermpp::aterm &t, const ARGUMENTS &... args) |
std::string | mcrl2::data::pp (const structured_sort &x) |
std::ostream & | mcrl2::data::operator<< (std::ostream &out, const structured_sort &x) |
void | mcrl2::data::swap (structured_sort &t1, structured_sort &t2) |
\brief swap overload | |
The class structured_sort.
Definition in file structured_sort.h.