No Matches
sort_expression.h File Reference

The class sort_expression. More...

Go to the source code of this file.


class  mcrl2::data::sort_expression
 \brief A sort expression More...
struct  std::hash< mcrl2::data::sort_expression >


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.
namespace  std
 STL namespace.


typedef atermpp::term_list< sort_expressionmcrl2::data::sort_expression_list
 \brief list of sort_expressions
typedef std::vector< sort_expressionmcrl2::data::sort_expression_vector
 \brief vector of sort_expressions


bool mcrl2::data::is_basic_sort (const atermpp::aterm &x)
 Returns true if the term t is a basic sort.
bool mcrl2::data::is_function_sort (const atermpp::aterm &x)
 Returns true if the term t is a function sort.
bool mcrl2::data::is_container_sort (const atermpp::aterm &x)
 Returns true if the term t is a container sort.
bool mcrl2::data::is_structured_sort (const atermpp::aterm &x)
 Returns true if the term t is a structured sort.
bool mcrl2::data::is_untyped_sort (const atermpp::aterm &x)
 Returns true if the term t is the unknown sort.
bool mcrl2::data::is_untyped_possible_sorts (const atermpp::aterm &x)
 Returns true if the term t is an expression for multiple possible sorts.
std::string mcrl2::data::pp (const sort_expression &x)
std::ostream & mcrl2::data::operator<< (std::ostream &out, const sort_expression &x)
void mcrl2::data::swap (sort_expression &t1, sort_expression &t2)
 \brief swap overload
bool mcrl2::data::is_sort_expression (const atermpp::aterm &x)
 Test for a sort_expression expression.
std::string mcrl2::data::pp (const sort_expression_list &x)
std::string mcrl2::data::pp (const sort_expression_vector &x)
std::set< data::sort_expressionmcrl2::data::find_sort_expressions (const data::sort_expression &x)

Detailed Description

The class sort_expression.

Definition in file sort_expression.h.