atermpp::detail::generic_aterm_container< Container > Class Template Reference

#include <aterm_container.h>

Public Member Functions
	generic_aterm_container (const Container &container)
	Constructor. Registers the container with the GC.
	generic_aterm_container (const generic_aterm_container &)=delete
	generic_aterm_container (generic_aterm_container &&)=delete
generic_aterm_container &	operator= (const generic_aterm_container &)
generic_aterm_container &	operator= (generic_aterm_container &&) noexcept

Protected Attributes
aterm_container	m_container

Detailed Description

template<typename Container>
class atermpp::detail::generic_aterm_container< Container >

Definition at line 449 of file aterm_container.h.

Constructor & Destructor Documentation

generic_aterm_container() [1/3]

template<typename Container >

atermpp::detail::generic_aterm_container< Container >::generic_aterm_container ( const Container &  container )

inline

Constructor. Registers the container with the GC.

Definition at line 453 of file aterm_container.h.

generic_aterm_container() [2/3]

template<typename Container >

atermpp::detail::generic_aterm_container< Container >::generic_aterm_container ( const generic_aterm_container< Container > &  )

delete

generic_aterm_container() [3/3]

template<typename Container >

atermpp::detail::generic_aterm_container< Container >::generic_aterm_container ( generic_aterm_container< Container > &&  )

delete

Member Function Documentation

operator=() [1/2]

template<typename Container >

generic_aterm_container & atermpp::detail::generic_aterm_container< Container >::operator= ( const generic_aterm_container< Container > &  )

inline

Definition at line 476 of file aterm_container.h.

operator=() [2/2]

template<typename Container >

generic_aterm_container & atermpp::detail::generic_aterm_container< Container >::operator= ( generic_aterm_container< Container > &&  )

inlinenoexcept

Definition at line 477 of file aterm_container.h.

Member Data Documentation

m_container

template<typename Container >

aterm_container atermpp::detail::generic_aterm_container< Container >::m_container

protected

Definition at line 480 of file aterm_container.h.

---

The documentation for this class was generated from the following file:

• atermpp/include/mcrl2/atermpp/detail/aterm_container.h