mcrl2::data::sort_expression

Include file:

#include "mcrl2/data/sort_expression.h
class mcrl2::data::sort_expression

A sort expression.

Public member functions

sort_expression &operator=(const sort_expression&) noexcept = default
sort_expression &operator=(sort_expression&&) noexcept = default
sort_expression()

Default constructor.

sort_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
sort_expression(const sort_expression&) noexcept = default

Move semantics.

sort_expression(sort_expression&&) noexcept = default
const sort_expression &target_sort() const

Returns the target sort of this expression.

Returns: For a function sort D->E, return the target sort of E. Otherwise return this sort.