atermpp::builder< Derived > Struct Template Reference

#include <builder.h>

Public Member Functions
Derived &	derived ()
template<typename T >
void	enter (const T &)
template<typename T >
void	leave (const T &)
template<class T >
void	apply (T &result, const aterm_int &x)
template<class T >
void	apply (T &result, const aterm_list &x)
template<class T >
void	apply (T &result, const aterm &x)

Detailed Description

template<typename Derived>
struct atermpp::builder< Derived >

Definition at line 21 of file builder.h.

Member Function Documentation

apply() [1/3]

template<typename Derived >

template<class T >

void atermpp::builder< Derived >::apply ( T &  result, const aterm &  x  )

inline

Definition at line 67 of file builder.h.

apply() [2/3]

template<typename Derived >

template<class T >

void atermpp::builder< Derived >::apply ( T &  result, const aterm_int &  x  )

inline

Definition at line 39 of file builder.h.

apply() [3/3]

template<typename Derived >

template<class T >

void atermpp::builder< Derived >::apply ( T &  result, const aterm_list &  x  )

inline

Definition at line 47 of file builder.h.

derived()

template<typename Derived >

Derived & atermpp::builder< Derived >::derived ( )

inline

Definition at line 23 of file builder.h.

enter()

template<typename Derived >

template<typename T >

void atermpp::builder< Derived >::enter ( const T &  )

inline

Definition at line 30 of file builder.h.

leave()

template<typename Derived >

template<typename T >

void atermpp::builder< Derived >::leave ( const T &  )

inline

Definition at line 35 of file builder.h.

---

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

• atermpp/include/mcrl2/atermpp/builder.h