|
bool | mcrl2::process::is_action (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_process_instance (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_process_instance_assignment (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_delta (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_tau (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_sum (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_block (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_hide (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_rename (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_comm (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_allow (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_sync (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_at (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_seq (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_if_then (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_if_then_else (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_bounded_init (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_merge (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_left_merge (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_choice (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_stochastic_operator (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_untyped_process_assignment (const atermpp::aterm &x) |
|
bool | mcrl2::process::is_process_expression (const atermpp::aterm &x) |
|
std::string | mcrl2::process::pp (const process_expression &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const process_expression &x) |
|
void | mcrl2::process::swap (process_expression &t1, process_expression &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_action (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const action &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const action &x) |
|
void | mcrl2::process::swap (action &t1, action &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_process_instance (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const process_instance &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const process_instance &x) |
|
void | mcrl2::process::swap (process_instance &t1, process_instance &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_process_instance_assignment (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const process_instance_assignment &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const process_instance_assignment &x) |
|
void | mcrl2::process::swap (process_instance_assignment &t1, process_instance_assignment &t2) |
| \brief swap overload
|
|
std::string | mcrl2::process::pp (const delta &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const delta &x) |
|
void | mcrl2::process::swap (delta &t1, delta &t2) |
| \brief swap overload
|
|
std::string | mcrl2::process::pp (const tau &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const tau &x) |
|
void | mcrl2::process::swap (tau &t1, tau &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_sum (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const sum &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const sum &x) |
|
void | mcrl2::process::swap (sum &t1, sum &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_block (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const block &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const block &x) |
|
void | mcrl2::process::swap (block &t1, block &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_hide (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const hide &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const hide &x) |
|
void | mcrl2::process::swap (hide &t1, hide &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_rename (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const rename &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const rename &x) |
|
void | mcrl2::process::swap (rename &t1, rename &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_comm (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const comm &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const comm &x) |
|
void | mcrl2::process::swap (comm &t1, comm &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_allow (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const allow &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const allow &x) |
|
void | mcrl2::process::swap (allow &t1, allow &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_sync (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const sync &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const sync &x) |
|
void | mcrl2::process::swap (sync &t1, sync &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_at (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const at &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const at &x) |
|
void | mcrl2::process::swap (at &t1, at &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_seq (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const seq &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const seq &x) |
|
void | mcrl2::process::swap (seq &t1, seq &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_if_then (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const if_then &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const if_then &x) |
|
void | mcrl2::process::swap (if_then &t1, if_then &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_if_then_else (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const if_then_else &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const if_then_else &x) |
|
void | mcrl2::process::swap (if_then_else &t1, if_then_else &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_bounded_init (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const bounded_init &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const bounded_init &x) |
|
void | mcrl2::process::swap (bounded_init &t1, bounded_init &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_merge (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const merge &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const merge &x) |
|
void | mcrl2::process::swap (merge &t1, merge &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_left_merge (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const left_merge &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const left_merge &x) |
|
void | mcrl2::process::swap (left_merge &t1, left_merge &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_choice (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const choice &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const choice &x) |
|
void | mcrl2::process::swap (choice &t1, choice &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_stochastic_operator (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const stochastic_operator &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const stochastic_operator &x) |
|
void | mcrl2::process::swap (stochastic_operator &t1, stochastic_operator &t2) |
| \brief swap overload
|
|
template<class... ARGUMENTS> |
void | mcrl2::process::make_untyped_process_assignment (atermpp::aterm &t, const ARGUMENTS &... args) |
|
std::string | mcrl2::process::pp (const untyped_process_assignment &x) |
|
std::ostream & | mcrl2::process::operator<< (std::ostream &out, const untyped_process_assignment &x) |
|
void | mcrl2::process::swap (untyped_process_assignment &t1, untyped_process_assignment &t2) |
| \brief swap overload
|
|
std::string | mcrl2::process::pp (const process_expression_list &x) |
|
std::string | mcrl2::process::pp (const process_expression_vector &x) |
|
std::set< data::sort_expression > | mcrl2::process::find_sort_expressions (const process::process_expression &x) |
|
std::string | mcrl2::process::pp (const action_list &x) |
|
std::string | mcrl2::process::pp (const action_vector &x) |
|
action | mcrl2::process::normalize_sorts (const action &x, const data::sort_specification &sortspec) |
|
action | mcrl2::process::translate_user_notation (const action &x) |
|
process::process_expression | mcrl2::process::translate_user_notation (const process::process_expression &x) |
|
std::set< data::variable > | mcrl2::process::find_all_variables (const action &x) |
|
std::set< data::variable > | mcrl2::process::find_free_variables (const action &x) |
|
bool | mcrl2::process::equal_signatures (const action &a, const action &b) |
| Compares the signatures of two actions.
|
|
add your file description here.
Definition in file process_expression.h.