mcrl2/data/sort_expression.h

Include file:

#include "mcrl2/data/sort_expression.h"

The class sort_expression.

Typedefs

type mcrl2::data::sort_expression_list

typedef for atermpp::term_list< sort_expression >

brief list of sort_expressions

type mcrl2::data::sort_expression_vector

typedef for std::vector< sort_expression >

brief vector of sort_expressions

Functions

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)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

void mcrl2::data::swap(sort_expression &t1, sort_expression &t2)

brief swap overload