pbes_parameter_map.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Typedefs
using	mcrl2::pbes_system::detail::pbes_parameter_map = std::map< core::identifier_string, std::vector< data::variable > >
	Data structure for storing the variables that should be expanded by the finite pbesinst algorithm.

Functions
bool	mcrl2::pbes_system::detail::match_declaration (const std::string &text, const data::variable &d, const data::data_specification &data_spec)
	Returns true if the declaration text matches with the variable d.
std::vector< data::variable >	mcrl2::pbes_system::detail::find_matching_parameters (const pbes &p, const std::string &name, const std::set< std::string > &declarations)
	Find parameter declarations that match a given string.
pbes_parameter_map	mcrl2::pbes_system::detail::parse_pbes_parameter_map (const pbes &p, const std::string &text)
	Parses parameter selection for finite pbesinst algorithm.
std::ostream &	mcrl2::pbes_system::detail::print_pbes_parameter_map (std::ostream &out, const pbes_parameter_map &m)
	Print a parameter map.

Detailed Description

add your file description here.

Definition in file pbes_parameter_map.h.