wali::wpds::WpdsRules Class Reference

Gets all rules from the WPDS and classifies them as push rules, pop rules, and step rules, as appropriate. More...

List of all members.

Public Member Functions
	WpdsRules ()
virtual	~WpdsRules ()
virtual void	operator() (const rule_t &r)
Public Attributes
std::set< Rule >	pushRules
std::set< Rule >	popRules
std::set< Rule >	stepRules

---

Detailed Description

Gets all rules from the WPDS and classifies them as push rules, pop rules, and step rules, as appropriate.

---

Constructor & Destructor Documentation

wali::wpds::WpdsRules::WpdsRules

(

)

wali::wpds::WpdsRules::~WpdsRules

(

)

[virtual]

---

Member Function Documentation

void wali::wpds::WpdsRules::operator()

(

const rule_t &

r

)

[virtual]

Implements wali::wpds::ConstRuleFunctor.

References popRules, pushRules, and stepRules.

---

Member Data Documentation

std::set< Rule > wali::wpds::WpdsRules::pushRules

Referenced by operator()(), and opennwa::nwa_pds::WpdsToNwa().

std::set< Rule > wali::wpds::WpdsRules::popRules

Referenced by operator()(), and opennwa::nwa_pds::WpdsToNwa().

std::set< Rule > wali::wpds::WpdsRules::stepRules

Referenced by operator()(), and opennwa::nwa_pds::WpdsToNwa().

---

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

• Source/wali/wpds/RuleFunctor.hpp
• Source/wali/wpds/RuleFunctor.cpp