wali::graph::TransitionCmp Struct Reference

List of all members.

Public Member Functions
bool	operator() (const Transition &t1, const Transition &t2) const

---

Member Function Documentation

bool wali::graph::TransitionCmp::operator()	(	const Transition &	t1,
		const Transition &	t2
	)			const

References wali::graph::Transition::src, wali::graph::Transition::stack, and wali::graph::Transition::tgt.

---

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

• Source/wali/graph/GraphCommon.hpp