mCRL2
Loading...
Searching...
No Matches
aterm.h File Reference

Go to the source code of this file.

Classes

class  atermpp::detail::_aterm_appl< N >
 This class stores a term followed by N arguments. Where N should be equal to the arity of the function symbol. These arguments do have room reserved for them during the creation of the _aterm_appl. More...
 
class  atermpp::detail::_aterm_appl_allocator< T >
 This class allocates _aterm_appl objects where the size is based on the arity of the function symbol. More...
 
struct  atermpp::detail::_aterm_appl_allocator< T >::rebind< U >
 

Namespaces

namespace  atermpp
 The main namespace for the aterm++ library.
 
namespace  atermpp::detail
 

Typedefs

using atermpp::detail::_term_appl = _aterm_appl<>
 A default instantiation for the underlying term application.
 

Functions

template<class Derived , class Base >
term_appl_iterator< Derived > atermpp::detail::aterm_appl_iterator_cast (term_appl_iterator< Base > a, typename std::enable_if< std::is_base_of< aterm, Base >::value &&std::is_base_of< aterm, Derived >::value >::type *)
 This function can be used to translate an term_appl_iterator of one sort into another.