mcrl2::data::container_sort

Include file:

#include "mcrl2/data/container_sort.h

class mcrl2::data::container_sort

brief A container sort

Public member functions

const container_type &container_name() const

container_sort()

brief Default constructor.

container_sort(const atermpp::aterm &term)

brief Constructor. param term A term

container_sort(const container_sort&) noexcept = default

Move semantics.

container_sort(const container_type &container_name, const sort_expression &element_sort)

brief Constructor.

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