add your file description here. More...

Namespaces
namespace	mcrl2

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

namespace	mcrl2::pbes_system::detail

Functions
data::variable_list	mcrl2::pbes_system::detail::lhs_variables (const data::assignment_list &l)

data::data_expression_list	mcrl2::pbes_system::detail::rhs_expressions (const data::assignment_list &l)

const core::identifier_string &	mcrl2::pbes_system::detail::mu_name (const state_formulas::state_formula &f)

data::variable_list	mcrl2::pbes_system::detail::mu_variables (const state_formulas::state_formula &f)
	Returns the variables corresponding to ass(f)

data::data_expression_list	mcrl2::pbes_system::detail::mu_expressions (const state_formulas::state_formula &f)
	Returns the data expressions corresponding to ass(f)

std::string	mcrl2::pbes_system::detail::myprint (const std::vector< pbes_equation > &v)

data::mutable_map_substitution	mcrl2::pbes_system::detail::make_fresh_variable_substitution (const data::variable_list &variables, data::set_identifier_generator &id_generator, bool add_to_context=true)
	Generates a substitution that assigns fresh variables to the given sequence of variables. The identifier generator is used to assign names to the fresh variables. Caveat: the implementation is very inefficient.

Detailed Description

add your file description here.

Definition in file lps2pbes_utility.h.

Namespaces