mcrl2::data::untyped_possible_sorts

Include file:

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

Multiple possible sorts.

Public member functions

untyped_possible_sorts &operator=(const untyped_possible_sorts&) noexcept = default
untyped_possible_sorts &operator=(untyped_possible_sorts&&) noexcept = default
const sort_expression_list &sorts() const
untyped_possible_sorts()

Default constructor.

untyped_possible_sorts(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

untyped_possible_sorts(const sort_expression_list &sorts)

Constructor.

untyped_possible_sorts(const Container &sorts, typename atermpp::enable_if_container<Container, sort_expression>::type * = nullptr)

Constructor.

untyped_possible_sorts(const untyped_possible_sorts&) noexcept = default

Move semantics.

untyped_possible_sorts(untyped_possible_sorts&&) noexcept = default