wali::wpds::RuleFunctor Class Reference

List of all members.

Public Member Functions
virtual	~RuleFunctor ()
virtual void	operator() (rule_t &r)=0

---

Detailed Description

This functor is used in WPDS::for_each. This is a pure virtual class.

See also:

WPDS

---

Constructor & Destructor Documentation

virtual wali::wpds::RuleFunctor::~RuleFunctor

(

)

[virtual]

---

Member Function Documentation

virtual void wali::wpds::RuleFunctor::operator()

(

rule_t &

r

)

[pure virtual]

Implemented in wali::wpds::ewpds::CopyCallRules.

---

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

• Source/wali/wpds/RuleFunctor.hpp