The class sort_expression. More...

Classes
class	mcrl2::data::sort_expression
	\brief A sort expression More...

struct	std::hash< mcrl2::data::sort_expression >

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.

namespace	std
	STL namespace.

Typedefs
typedef atermpp::term_list< sort_expression >	mcrl2::data::sort_expression_list
	\brief list of sort_expressions

typedef std::vector< sort_expression >	mcrl2::data::sort_expression_vector
	\brief vector of sort_expressions

Functions
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_expression >	mcrl2::data::find_sort_expressions (const data::sort_expression &x)

Detailed Description

The class sort_expression.

Definition in file sort_expression.h.

Classes