mCRL2
|
\brief Builder class More...
#include <builder.h>
Additional Inherited Members | |
![]() | |
typedef core::builder< Derived > | super |
![]() | |
void | update (process::process_specification &x) |
void | apply (T &result, const process::process_equation &x) |
void | apply (T &result, const process::action &x) |
void | apply (T &result, const process::process_instance &x) |
void | apply (T &result, const process::process_instance_assignment &x) |
void | apply (T &result, const process::delta &x) |
void | apply (T &result, const process::tau &x) |
void | apply (T &result, const process::sum &x) |
void | apply (T &result, const process::block &x) |
void | apply (T &result, const process::hide &x) |
void | apply (T &result, const process::rename &x) |
void | apply (T &result, const process::comm &x) |
void | apply (T &result, const process::allow &x) |
void | apply (T &result, const process::sync &x) |
void | apply (T &result, const process::at &x) |
void | apply (T &result, const process::seq &x) |
void | apply (T &result, const process::if_then &x) |
void | apply (T &result, const process::if_then_else &x) |
void | apply (T &result, const process::bounded_init &x) |
void | apply (T &result, const process::merge &x) |
void | apply (T &result, const process::left_merge &x) |
void | apply (T &result, const process::choice &x) |
void | apply (T &result, const process::stochastic_operator &x) |
void | apply (T &result, const process::untyped_process_assignment &x) |
void | apply (T &result, const process::process_expression &x) |
\brief Builder class