clingo
Main Page
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Groups
Gringo
identity
Public Types
|
Public Member Functions
|
List of all members
Gringo::identity< T > Struct Template Reference
#include <
unique_list.hh
>
Collaboration diagram for Gringo::identity< 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::identity
< T >::
result_type
= T
Member Function Documentation
template<class T >
template<class U >
T const&
Gringo::identity
< 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
Generated on Wed May 14 2014 16:10:53 for clingo by
1.8.7