mcrl2/data/sort_expression.h

Include file:

#include "mcrl2/data/sort_expression.h"

The class sort_expression.

Typedefs

type sort_expression_list

typedef for atermpp::term_list< sort_expression >

list of sort_expressions

type sort_expression_vector

typedef for std::vector< sort_expression >

vector of sort_expressions

Functions

std::set<data::sort_expression> find_sort_expressions(const data::sort_expression &x)
bool mcrl2::data::is_basic_sort(const atermpp::aterm_appl &x)

Returns true if the term t is a basic sort.

bool mcrl2::data::is_container_sort(const atermpp::aterm_appl &x)

Returns true if the term t is a container sort.

bool mcrl2::data::is_function_sort(const atermpp::aterm_appl &x)

Returns true if the term t is a function sort.

bool mcrl2::data::is_sort_expression(const atermpp::aterm_appl &x)

Test for a sort_expression expression.

Parameters:

  • x A term

Returns: True if it is a sort_expression expression

bool mcrl2::data::is_structured_sort(const atermpp::aterm_appl &x)

Returns true if the term t is a structured sort.

bool mcrl2::data::is_untyped_possible_sorts(const atermpp::aterm_appl &x)

Returns true if the term t is an expression for multiple possible sorts.

bool mcrl2::data::is_untyped_sort(const atermpp::aterm_appl &x)

Returns true if the term t is the unknown sort.

std::ostream &mcrl2::data::operator<<(std::ostream &out, const sort_expression &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const sort_expression &x)
std::string pp(const sort_expression_list &x)
std::string pp(const sort_expression_vector &x)
void mcrl2::data::swap(sort_expression &t1, sort_expression &t2)

swap overload