mCRL2
|
\brief Builder class More...
#include <builder.h>
Additional Inherited Members | |
![]() | |
typedef pbes_system::pbes_expression_builder_base< Derived > | super |
![]() | |
void | update (pbes_system::pbes_equation &x) |
void | update (pbes_system::pbes &x) |
void | apply (T &result, const pbes_system::propositional_variable_instantiation &x) |
void | apply (T &result, const pbes_system::not_ &x) |
void | apply (T &result, const pbes_system::and_ &x) |
void | apply (T &result, const pbes_system::or_ &x) |
void | apply (T &result, const pbes_system::imp &x) |
void | apply (T &result, const pbes_system::forall &x) |
void | apply (T &result, const pbes_system::exists &x) |
void | apply (T &result, const pbes_system::pbes_expression &x) |
\brief Builder class