mCRL2
Loading...
Searching...
No Matches
atermpp::detail::generic_aterm_container< Container > Class Template Reference

#include <aterm_container.h>

Public Member Functions

 generic_aterm_container (const Container &container)
 Constructor.
 
 generic_aterm_container (const generic_aterm_container &)=delete
 
 generic_aterm_container (generic_aterm_container &&)=delete
 
generic_aterm_containeroperator= (const generic_aterm_container &)
 
generic_aterm_containeroperator= (generic_aterm_container &)
 

Protected Attributes

aterm_container m_container
 

Detailed Description

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

Definition at line 438 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.

Definition at line 442 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 471 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 > &  )
inline

Definition at line 476 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 482 of file aterm_container.h.


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