mcrl2::data::detail::strategy Class Reference

A strategy is a list of rules and the number of variables that occur in it. More...

#include <strategy_rule.h>

Public Member Functions
	strategy (size_t n, const std::vector< strategy_rule > &r)
	Default constructor.
	strategy ()
	Default constructor.
std::size_t	number_of_variables () const
	Provides the maximal number of variables used in the rewrite rules making up this strategy.
const std::vector< strategy_rule > &	rules () const
	Yield the rules of the strategy.

Protected Attributes
std::size_t	m_number_of_variables
std::vector< strategy_rule >	m_rules

Detailed Description

A strategy is a list of rules and the number of variables that occur in it.

Definition at line 86 of file strategy_rule.h.

Constructor & Destructor Documentation

strategy() [1/2]

mcrl2::data::detail::strategy::strategy ( size_t  n, const std::vector< strategy_rule > &  r  )

inline

Default constructor.

Definition at line 94 of file strategy_rule.h.

strategy() [2/2]

mcrl2::data::detail::strategy::strategy ( )

inline

Default constructor.

Definition at line 100 of file strategy_rule.h.

Member Function Documentation

number_of_variables()

std::size_t mcrl2::data::detail::strategy::number_of_variables ( ) const

inline

Provides the maximal number of variables used in the rewrite rules making up this strategy.

Definition at line 105 of file strategy_rule.h.

rules()

const std::vector< strategy_rule > & mcrl2::data::detail::strategy::rules ( ) const

inline

Yield the rules of the strategy.

Definition at line 111 of file strategy_rule.h.

Member Data Documentation

m_number_of_variables

std::size_t mcrl2::data::detail::strategy::m_number_of_variables

protected

Definition at line 89 of file strategy_rule.h.

m_rules

std::vector<strategy_rule> mcrl2::data::detail::strategy::m_rules

protected

Definition at line 90 of file strategy_rule.h.

---

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

• data/include/mcrl2/data/detail/rewrite/strategy_rule.h