mCRL2
|
expression builder that visits all sub expressions More...
#include <builder.h>
Public Member Functions | |
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) |
expression builder that visits all sub expressions
Types:
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |