mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::variable_or_number Member List

This is the complete list of members for mcrl2::data::detail::variable_or_number, including all inherited members.

assign(const aterm &other, detail::thread_aterm_pool &pool) noexceptatermpp::aterminline
aterm() noexceptatermpp::aterminline
aterm(const detail::_aterm *t) noexceptatermpp::aterminlineexplicit
aterm(const aterm &other) noexceptatermpp::aterminline
aterm(aterm &&other) noexceptatermpp::aterminline
defined() constatermpp::unprotected_aterminline
function() constatermpp::unprotected_aterminline
m_termatermpp::unprotected_atermprotected
operator!=(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator<(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator<=(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator=(const aterm &other) noexceptatermpp::aterminline
operator=(aterm &&other) noexceptatermpp::aterminline
operator==(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator>(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator>=(const unprotected_aterm &t) constatermpp::unprotected_aterminline
swap(unprotected_aterm &t) noexceptatermpp::unprotected_aterminline
type_is_appl() const noexceptatermpp::unprotected_aterminline
type_is_int() const noexceptatermpp::unprotected_aterminline
type_is_list() const noexceptatermpp::unprotected_aterminline
unprotected_assign(const aterm &other) noexceptatermpp::aterminline
unprotected_aterm() noexceptatermpp::unprotected_aterminline
unprotected_aterm(const detail::_aterm *term) noexceptatermpp::unprotected_aterminline
variable_or_number()mcrl2::data::detail::variable_or_numberinline
variable_or_number(const atermpp::aterm &v)mcrl2::data::detail::variable_or_numberinline
~aterm() noexceptatermpp::aterminline