Inheritance diagram for mcrl2::lps::lps_parvalues_algorithm< DataRewriter, Specification >:

Public Member Functions
	lps_parvalues_algorithm (const Specification &spec, DataRewriter &r, const std::size_t qlimit, const std::size_t max_rounds)

std::map< data::variable, std::unordered_set< data::data_expression > >	run ()

Public Member Functions inherited from mcrl2::data::detail::parvalues_algorithm< DataRewriter >
	parvalues_algorithm (DataRewriter &r, const data_specification &dataspec, const std::size_t qlimit, const std::size_t maximal_number_of_rounds)
	Constructor for lps_explore_domains algorithm.

void	run ()
	Apply the algorithm to the specification passed in the constructor.

Protected Attributes
Specification	m_spec

Protected Attributes inherited from mcrl2::data::detail::parvalues_algorithm< DataRewriter >
DataRewriter	m_rewriter
	Rewriter.

const data_specification	m_dataspec

const std::size_t	m_qlimit

const std::size_t	m_maximal_number_of_rounds

data::enumerator_identifier_generator &	m_generator

detail::influence_graph	m_graph

Private Types
using	super = typename data::detail::parvalues_algorithm< DataRewriter >

Additional Inherited Members
Protected Member Functions inherited from mcrl2::data::detail::parvalues_algorithm< DataRewriter >
void	propagate_values_qvars (mutable_indexed_substitution<> &sigma, const core::identifier_string &source_eqn, const parameter &v, const variable_vector &qvars, const data_expression &condition, const data_expression &update_expr, const bool used_new_value)

void	propagate_values (mutable_indexed_substitution<> &sigma, const core::identifier_string &source_eqn, const parameter &v, const variable_vector &qvars, const data_expression &condition, const data_expression &update_expr, const bool used_new_value)

Detailed Description

template<typename DataRewriter, typename Specification>
class mcrl2::lps::lps_parvalues_algorithm< DataRewriter, Specification >

Definition at line 23 of file lpsparvalues.h.

Member Typedef Documentation

template<typename DataRewriter , typename Specification >

using mcrl2::lps::lps_parvalues_algorithm< DataRewriter, Specification >::super = typename data::detail::parvalues_algorithm<DataRewriter>

private

Definition at line 25 of file lpsparvalues.h.

template<typename DataRewriter , typename Specification >

mcrl2::lps::lps_parvalues_algorithm< DataRewriter, Specification >::lps_parvalues_algorithm	(	const Specification &	spec,
		DataRewriter &	r,
		const std::size_t	qlimit,
		const std::size_t	max_rounds
	)

inline

Definition at line 34 of file lpsparvalues.h.

template<typename DataRewriter , typename Specification >

std::map< data::variable, std::unordered_set< data::data_expression > > mcrl2::lps::lps_parvalues_algorithm< DataRewriter, Specification >::run ( )

inline

Definition at line 42 of file lpsparvalues.h.

template<typename DataRewriter , typename Specification >

Specification mcrl2::lps::lps_parvalues_algorithm< DataRewriter, Specification >::m_spec

protected

Definition at line 30 of file lpsparvalues.h.

The documentation for this class was generated from the following file: