mcrl2::lps::anonymous_namespace{lps_summand_group.h} Namespace Reference

Functions
std::pair< std::set< data::variable >, std::set< data::variable > >	read_write_parameters (const lps::action_summand &summand, const std::set< data::variable > &process_parameters)
	Computes the read and written process parameters for the given summand.
template<typename Specification >
std::map< data::variable, std::size_t >	process_parameter_index (const Specification &lpsspec)
	Assigns a unique index to every parameter of the process.

Function Documentation

process_parameter_index()

template<typename Specification >

std::map< data::variable, std::size_t > mcrl2::lps::anonymous_namespace{lps_summand_group.h}::process_parameter_index

(

const Specification &

lpsspec

)

Assigns a unique index to every parameter of the process.

Definition at line 52 of file lps_summand_group.h.

read_write_parameters()

std::pair< std::set< data::variable >, std::set< data::variable > > mcrl2::lps::anonymous_namespace{lps_summand_group.h}::read_write_parameters ( const lps::action_summand &  summand, const std::set< data::variable > &  process_parameters  )

inline

Computes the read and written process parameters for the given summand.

Definition at line 29 of file lps_summand_group.h.