parameter_selection.h File Reference

Go to the source code of this file.

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

Functions
bool	mcrl2::lps::detail::match_selection (const data::variable &v, const std::string &name, const std::string &type, const data::data_specification &data_spec)
	Returns true if the selection name:type matches with the variable v.
template<typename OutputIterator >
std::vector< data::variable >	mcrl2::lps::detail::find_matching_parameters (const data::variable_list &params, const data::data_specification &dataspec, const std::vector< std::pair< std::string, std::string > > &selections, OutputIterator o)
	Find parameter declarations that match a given string.
std::vector< data::variable >	mcrl2::lps::detail::parse_lps_parameter_selection (const data::variable_list &params, const data::data_specification &dataspec, const std::string &text)
	Parses parameter selection for finite pbesinst algorithm.