Include file:
#include "mcrl2/data/sort_expression.h
mcrl2::data::
sort_expression
¶A sort expression.
operator=
(const sort_expression&) noexcept = default¶operator=
(sort_expression&&) noexcept = default¶sort_expression
()¶Default constructor.
sort_expression
(const sort_expression&) noexcept = default¶Move semantics.
sort_expression
(sort_expression&&) noexcept = default¶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.