mCRL2
Loading...
Searching...
No Matches
process_expression.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes

class  mcrl2::process::process_expression
 \brief A process expression More...
 
class  mcrl2::process::action
 \brief An action More...
 
class  mcrl2::process::process_instance
 \brief A process More...
 
class  mcrl2::process::process_instance_assignment
 \brief A process assignment More...
 
class  mcrl2::process::delta
 \brief The value delta More...
 
class  mcrl2::process::tau
 \brief The value tau More...
 
class  mcrl2::process::sum
 \brief The sum operator More...
 
class  mcrl2::process::block
 \brief The block operator More...
 
class  mcrl2::process::hide
 \brief The hide operator More...
 
class  mcrl2::process::rename
 \brief The rename operator More...
 
class  mcrl2::process::comm
 \brief The communication operator More...
 
class  mcrl2::process::allow
 \brief The allow operator More...
 
class  mcrl2::process::sync
 \brief The synchronization operator More...
 
class  mcrl2::process::at
 \brief The at operator More...
 
class  mcrl2::process::seq
 \brief The sequential composition More...
 
class  mcrl2::process::if_then
 \brief The if-then operator More...
 
class  mcrl2::process::if_then_else
 \brief The if-then-else operator More...
 
class  mcrl2::process::bounded_init
 \brief The bounded initialization More...
 
class  mcrl2::process::merge
 \brief The merge operator More...
 
class  mcrl2::process::left_merge
 \brief The left merge operator More...
 
class  mcrl2::process::choice
 \brief The choice operator More...
 
class  mcrl2::process::stochastic_operator
 \brief The distribution operator More...
 
class  mcrl2::process::untyped_process_assignment
 \brief An untyped process assginment More...
 
struct  std::hash< mcrl2::process::action >
 Standard has function for actions. More...
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::process
 The main namespace for the Process library.
 
namespace  std
 STL namespace.
 

Typedefs

typedef atermpp::term_list< process_expressionmcrl2::process::process_expression_list
 \brief list of process_expressions
 
typedef std::vector< process_expressionmcrl2::process::process_expression_vector
 \brief vector of process_expressions
 
typedef atermpp::term_list< actionmcrl2::process::action_list
 \brief list of actions
 
typedef std::vector< actionmcrl2::process::action_vector
 \brief vector of actions
 

Functions

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_expressionmcrl2::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::variablemcrl2::process::find_all_variables (const action &x)
 
std::set< data::variablemcrl2::process::find_free_variables (const action &x)
 
bool mcrl2::process::equal_signatures (const action &a, const action &b)
 Compares the signatures of two actions.
 

Detailed Description

add your file description here.

Definition in file process_expression.h.