wali::wfa::ITransLT Struct Reference

List of all members.

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

---

Detailed Description

This can be used to place ITrans* into std::set or any other STL container that uses Strict-weak ordering.

---

Member Function Documentation

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

References wali::wfa::ITrans::from(), wali::wfa::ITrans::stack(), and wali::wfa::ITrans::to().

---

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

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