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.