Exists< U, V > Class Template Reference

#include <Equalizer.hh>

Public Member Functions
	Exists (Forall< U > &fa, Function< U, V > &f)
V	Element () const

Constructor & Destructor Documentation

Exists()

template<class U, class V>

Exists< U, V >::Exists ( Forall< U > & fa, Function< U, V > & f )

inline

Member Function Documentation

Element()

template<class U, class V>

V Exists< U, V >::Element ( ) const

inline

---

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

• Equalizer.hh