mCRL2
|
#include <builder.h>
Public Types | |
typedef Builder< Derived > | super |
Public Member Functions | |
void | update (pbes_system::pbes_equation &x) |
void | update (pbes_system::pbes &x) |
template<class T > | |
void | apply (T &result, const pbes_system::propositional_variable_instantiation &x) |
template<class T > | |
void | apply (T &result, const pbes_system::not_ &x) |
template<class T > | |
void | apply (T &result, const pbes_system::and_ &x) |
template<class T > | |
void | apply (T &result, const pbes_system::or_ &x) |
template<class T > | |
void | apply (T &result, const pbes_system::imp &x) |
template<class T > | |
void | apply (T &result, const pbes_system::forall &x) |
template<class T > | |
void | apply (T &result, const pbes_system::exists &x) |
template<class T > | |
void | apply (T &result, const pbes_system::pbes_expression &x) |
typedef Builder<Derived> mcrl2::pbes_system::add_pbes_expressions< Builder, Derived >::super |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |