mcrl2::pbes_system::pbes_expression_builder_base< Derived > Struct Template Reference

Builder class. More...

#include <builder.h>

Inheritance diagram for mcrl2::pbes_system::pbes_expression_builder_base< Derived >:

Public Types
typedef core::builder< Derived >	super

Public Member Functions
template<class T >
void	apply (T &result, const data::data_expression &x)
template<typename T >
void	enter (const T &)
template<typename T >
void	leave (const T &)
template<typename T >
void	update (T &x, typename atermpp::disable_if_container< T >::type *=nullptr)
template<typename T >
void	update (T &x, typename atermpp::enable_if_container< T >::type *=nullptr)
template<typename T >
void	update (std::set< T > &x)
template<typename T , typename U >
void	apply (atermpp::term_list< T > &result, const atermpp::term_list< U > &x)
Public Member Functions inherited from mcrl2::core::builder< Derived >
template<typename T >
void	enter (const T &)
template<typename T >
void	leave (const T &)
template<typename T >
void	update (T &x, typename atermpp::disable_if_container< T >::type *=nullptr)
template<typename T >
void	update (T &x, typename atermpp::enable_if_container< T >::type *=nullptr)
template<typename T >
void	update (std::set< T > &x)
template<typename T , typename U >
void	apply (atermpp::term_list< T > &result, const atermpp::term_list< U > &x)

Detailed Description

template<typename Derived>
struct mcrl2::pbes_system::pbes_expression_builder_base< Derived >

Builder class.

Definition at line 26 of file builder.h.

Member Typedef Documentation

super

template<typename Derived >

typedef core::builder<Derived> mcrl2::pbes_system::pbes_expression_builder_base< Derived >::super

Definition at line 28 of file builder.h.

Member Function Documentation

apply() [1/2]

template<typename Derived >

template<typename T , typename U >

void mcrl2::core::builder< Derived >::apply ( atermpp::term_list< T > &  result, const atermpp::term_list< U > &  x  )

inline

Definition at line 89 of file builder.h.

apply() [2/2]

template<typename Derived >

template<class T >

void mcrl2::pbes_system::pbes_expression_builder_base< Derived >::apply ( T &  result, const data::data_expression &  x  )

inline

Definition at line 35 of file builder.h.

enter()

template<typename Derived >

template<typename T >

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

inline

Definition at line 45 of file builder.h.

leave()

template<typename Derived >

template<typename T >

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

inline

Definition at line 50 of file builder.h.

update() [1/3]

template<typename Derived >

template<typename T >

void mcrl2::core::builder< Derived >::update ( std::set< T > &  x )

inline

Definition at line 75 of file builder.h.

update() [2/3]

template<typename Derived >

template<typename T >

void mcrl2::core::builder< Derived >::update ( T &  x, typename atermpp::disable_if_container< T >::type *  = nullptr  )

inline

Definition at line 54 of file builder.h.

update() [3/3]

template<typename Derived >

template<typename T >

void mcrl2::core::builder< Derived >::update ( T &  x, typename atermpp::enable_if_container< T >::type *  = nullptr  )

inline

Definition at line 64 of file builder.h.

---

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

• pbes/include/mcrl2/pbes/builder.h