wali::wfa::ITransEq Struct Reference

List of all members.

Public Member Functions
bool	operator() (const ITrans *a, const ITrans *b)

---

Member Function Documentation

bool wali::wfa::ITransEq::operator()	(	const ITrans *	a,
		const ITrans *	b
	)

References wali::wfa::ITrans::equal().

---

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

• Source/wali/wfa/ITrans.hpp
• Source/wali/wfa/ITrans.cpp