wali::witness::Visitable Class Reference

List of all members.

Public Member Functions
virtual	~Visitable ()
virtual void	accept (Visitor &v, bool visitOnce=false)=0

---

Constructor & Destructor Documentation

virtual wali::witness::Visitable::~Visitable

(

)

[virtual]

---

Member Function Documentation

virtual void wali::witness::Visitable::accept	(	Visitor &	v,
		bool	visitOnce = false
	)			[pure virtual]

Implemented in wali::witness::Witness, wali::witness::WitnessCombine, wali::witness::WitnessExtend, wali::witness::WitnessMerge, wali::witness::WitnessRule, and wali::witness::WitnessTrans.

---

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

• Source/wali/witness/Visitable.hpp