Gringo::extract_first< T > Struct Template Reference

#include <unique_list.hh>

Collaboration diagram for Gringo::extract_first< T >:

Public Types
using	result_type = T

Public Member Functions
template<class U >
T const &	operator() (U const &x) const

Member Typedef Documentation

template<class T >

using Gringo::extract_first< T >::result_type = T

Member Function Documentation

template<class T >

template<class U >

T const& Gringo::extract_first< T >::operator() ( U const &  x ) const

inline

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/unique_list.hh