lps.cpp 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
std::string	mcrl2::lps::pp (const action_summand &x)
std::string	mcrl2::lps::pp (const deadlock &x)
std::string	mcrl2::lps::pp (const deadlock_summand &x)
std::string	mcrl2::lps::pp (const linear_process &x)
std::string	mcrl2::lps::pp (const multi_action &x)
std::string	mcrl2::lps::pp (const process_initializer &x)
std::string	mcrl2::lps::pp (const specification &x)
std::string	mcrl2::lps::pp (const stochastic_action_summand &x)
std::string	mcrl2::lps::pp (const stochastic_distribution &x)
std::string	mcrl2::lps::pp (const stochastic_linear_process &x)
std::string	mcrl2::lps::pp (const stochastic_process_initializer &x)
std::string	mcrl2::lps::pp (const stochastic_specification &x)
lps::multi_action	mcrl2::lps::normalize_sorts (const multi_action &x, const data::sort_specification &sortspec)
void	mcrl2::lps::normalize_sorts (lps::specification &x, const data::sort_specification &sortspec)
void	mcrl2::lps::normalize_sorts (stochastic_specification &x, const data::sort_specification &sortspec)
lps::multi_action	mcrl2::lps::translate_user_notation (const lps::multi_action &x)
std::set< data::sort_expression >	mcrl2::lps::find_sort_expressions (const lps::specification &x)
std::set< data::sort_expression >	mcrl2::lps::find_sort_expressions (const lps::stochastic_specification &x)
std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::linear_process &x)
std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::stochastic_linear_process &x)
std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::specification &x)
std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::stochastic_specification &x)
std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::deadlock &x)
std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::multi_action &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::linear_process &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::stochastic_linear_process &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::specification &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::stochastic_specification &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::deadlock &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::multi_action &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::process_initializer &x)
std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::stochastic_process_initializer &x)
std::set< data::function_symbol >	mcrl2::lps::find_function_symbols (const lps::specification &x)
std::set< data::function_symbol >	mcrl2::lps::find_function_symbols (const lps::stochastic_specification &x)
std::set< core::identifier_string >	mcrl2::lps::find_identifiers (const lps::specification &x)
std::set< core::identifier_string >	mcrl2::lps::find_identifiers (const lps::stochastic_specification &x)
std::set< process::action_label >	mcrl2::lps::find_action_labels (const lps::linear_process &x)
std::set< process::action_label >	mcrl2::lps::find_action_labels (const lps::process_initializer &x)
std::set< process::action_label >	mcrl2::lps::find_action_labels (const lps::specification &x)
std::set< process::action_label >	mcrl2::lps::find_action_labels (const lps::stochastic_specification &x)
std::string	mcrl2::lps::pp_with_summand_numbers (const specification &x)
std::string	mcrl2::lps::pp_with_summand_numbers (const stochastic_specification &x)
bool	mcrl2::lps::check_well_typedness (const linear_process &x)
bool	mcrl2::lps::check_well_typedness (const stochastic_linear_process &x)
bool	mcrl2::lps::check_well_typedness (const specification &x)
bool	mcrl2::lps::check_well_typedness (const stochastic_specification &x)
process::untyped_multi_action	mcrl2::lps::detail::parse_multi_action_new (const std::string &text)
multi_action	mcrl2::lps::detail::complete_multi_action (process::untyped_multi_action &x, multi_action_type_checker &typechecker, const data::data_specification &data_spec=data::detail::default_specification())
multi_action	mcrl2::lps::detail::complete_multi_action (process::untyped_multi_action &x, const process::action_label_list &action_decls, const data::data_specification &data_spec=data::detail::default_specification())
action_rename_specification	mcrl2::lps::detail::parse_action_rename_specification_new (const std::string &text)
void	mcrl2::lps::detail::complete_action_rename_specification (action_rename_specification &x, const lps::stochastic_specification &spec)