wali::wpds::RuleDotty Class Reference

List of all members.

Public Member Functions
	RuleDotty (std::ostream &o, bool _print_states=false)
virtual	~RuleDotty ()
virtual void	operator() (const rule_t &r)

---

Constructor & Destructor Documentation

wali::wpds::RuleDotty::RuleDotty	(	std::ostream &	o,
		bool	_print_states = false
	)

wali::wpds::RuleDotty::~RuleDotty

(

)

[virtual]

---

Member Function Documentation

void wali::wpds::RuleDotty::operator()

(

const rule_t &

r

)

[virtual]

Implements wali::wpds::ConstRuleFunctor.

References wali::key2str().

---

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

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