mCRL2
Loading...
Searching...
No Matches
atermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type > Member List

This is the complete list of members for atermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >, including all inherited members.

defined() constatermpp::unprotected_aterminline
function() constatermpp::unprotected_aterminline
m_termatermpp::unprotected_atermprotected
mark(std::stack< std::reference_wrapper< detail::_aterm > > &todo) constatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >inline
operator const T &() constatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >inline
operator T&()atermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >inline
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 unprotected_aterm &other) noexceptatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >
operator=(unprotected_aterm &&other) noexceptatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >
operator==(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator>(const unprotected_aterm &t) constatermpp::unprotected_aterminline
operator>=(const unprotected_aterm &t) constatermpp::unprotected_aterminline
reference_aterm() noexcept=defaultatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >
reference_aterm(const unprotected_aterm &other) noexceptatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >inlineexplicit
reference_aterm(const T &other) noexceptatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >inline
reference_aterm(unprotected_aterm &&other) noexceptatermpp::detail::reference_aterm< T, typename std::enable_if< std::is_base_of< aterm, T >::value >::type >inline
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_aterm() noexceptatermpp::unprotected_aterminline
unprotected_aterm(const detail::_aterm *term) noexceptatermpp::unprotected_aterminline