mcrl2::data::untyped_possible_sorts

Include file:

#include "mcrl2/data/untyped_possible_sorts.h

class mcrl2::data::untyped_possible_sorts

brief 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()

brief Default constructor.

untyped_possible_sorts(const atermpp::aterm &term)

brief Constructor. param term A term

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

brief Constructor.

untyped_possible_sorts(const sort_expression_list &sorts)

brief Constructor.

untyped_possible_sorts(const untyped_possible_sorts&) noexcept = default

Move semantics.

untyped_possible_sorts(untyped_possible_sorts&&) noexcept = default