mcrl2::data::container_sort

Include file:

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

A container sort.

Public member functions

const container_type &container_name() const
container_sort()

Default constructor.

container_sort(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
container_sort(const container_type &container_name, const sort_expression &element_sort)

Constructor.

container_sort(const container_sort&) noexcept = default

Move semantics.

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