wali::Quad< T, U, V, W > Class Template Reference

List of all members.

Public Member Functions
	Quad ()
	Quad (T t, U u, V v, W w)
	Quad (const Quad &other)
Quad &	operator= (const Quad &other)
bool	operator== (const Quad &other) const
bool	operator< (const Quad &other) const
Public Attributes
T	first
U	second
V	third
W	fourth

template<typename T, typename U, typename V, typename W>
class wali::Quad< T, U, V, W >

---

Constructor & Destructor Documentation

template<typename T, typename U, typename V, typename W>

wali::Quad< T, U, V, W >::Quad

(

)

template<typename T, typename U, typename V, typename W>

wali::Quad< T, U, V, W >::Quad	(	T	t,
		U	u,
		V	v,
		W	w
	)

template<typename T, typename U, typename V, typename W>

wali::Quad< T, U, V, W >::Quad

(

const Quad< T, U, V, W > &

other

)

---

Member Function Documentation

template<typename T, typename U, typename V, typename W>

Quad& wali::Quad< T, U, V, W >::operator=

(

const Quad< T, U, V, W > &

other

)

References wali::Quad< T, U, V, W >::first, wali::Quad< T, U, V, W >::fourth, wali::Quad< T, U, V, W >::second, and wali::Quad< T, U, V, W >::third.

template<typename T, typename U, typename V, typename W>

bool wali::Quad< T, U, V, W >::operator==

(

const Quad< T, U, V, W > &

other

)

const

References wali::Quad< T, U, V, W >::first, wali::Quad< T, U, V, W >::fourth, wali::Quad< T, U, V, W >::second, and wali::Quad< T, U, V, W >::third.

template<typename T, typename U, typename V, typename W>

bool wali::Quad< T, U, V, W >::operator<

(

const Quad< T, U, V, W > &

other

)

const

References wali::Quad< T, U, V, W >::first, wali::Quad< T, U, V, W >::fourth, wali::Quad< T, U, V, W >::second, and wali::Quad< T, U, V, W >::third.

---

Member Data Documentation

template<typename T, typename U, typename V, typename W>

T wali::Quad< T, U, V, W >::first

Referenced by opennwa::details::TransitionInfo::addRet(), wali::relations::Domain::Domain(), opennwa::details::TransitionStorage::getExit(), opennwa::details::TransitionStorage::isReturn(), opennwa::query::details::selectors::SourceSelector::operator()(), wali::Quad< T, U, V, W >::operator<(), wali::Quad< T, U, V, W >::operator=(), wali::Quad< T, U, V, W >::operator==(), and opennwa::details::TransitionInfo::removeRet().

template<typename T, typename U, typename V, typename W>

U wali::Quad< T, U, V, W >::second

Referenced by opennwa::details::TransitionInfo::addRet(), wali::relations::Domain::Domain(), opennwa::details::TransitionStorage::getCallSite(), opennwa::query::details::selectors::CallPredecessorSelector::operator()(), wali::Quad< T, U, V, W >::operator<(), wali::Quad< T, U, V, W >::operator=(), wali::Quad< T, U, V, W >::operator==(), and opennwa::details::TransitionInfo::removeRet().

template<typename T, typename U, typename V, typename W>

V wali::Quad< T, U, V, W >::third

Referenced by wali::relations::Domain::Domain(), opennwa::details::TransitionStorage::getReturnSym(), opennwa::query::details::selectors::SymbolSelector::operator()(), wali::Quad< T, U, V, W >::operator<(), wali::Quad< T, U, V, W >::operator=(), and wali::Quad< T, U, V, W >::operator==().

template<typename T, typename U, typename V, typename W>

W wali::Quad< T, U, V, W >::fourth

Referenced by opennwa::details::TransitionInfo::addRet(), wali::relations::Domain::Domain(), opennwa::details::TransitionStorage::getReturnSite(), opennwa::query::details::selectors::TargetSelector::operator()(), wali::Quad< T, U, V, W >::operator<(), wali::Quad< T, U, V, W >::operator=(), wali::Quad< T, U, V, W >::operator==(), and opennwa::details::TransitionInfo::removeRet().

---

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

• Source/wali/KeyContainer.hpp