ForAllExistsAdjunction< A >::ForAllExists Struct Reference

#include <Equalizer.hh>

Collaboration diagram for ForAllExistsAdjunction< A >::ForAllExists:

Public Attributes
StateState	exists
StateState	forall

Member Data Documentation

exists

template<class A>

StateState ForAllExistsAdjunction< A >::ForAllExists::exists

forall

template<class A>

StateState ForAllExistsAdjunction< A >::ForAllExists::forall

---

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

• Equalizer.hh