mcrl2::data::sort_expression

Include file:

#include "mcrl2/data/sort_expression.h

class mcrl2::data::sort_expression

brief A sort expression

Public member functions

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

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

sort_expression()

brief Default constructor.

sort_expression(const atermpp::aterm &term)

brief Constructor. param 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.