TransSet.cpp File Reference

Namespaces
namespace	wali
namespace	wali::wfa
Defines
#define	IMPLFIND(impl, t)   impl.find(t)

---

Define Documentation

#define IMPLFIND	(		impl,
			t
	)			impl.find(t)

Author:

Nicholas Kidd

Referenced by wali::wfa::TransSet::find().