clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | Friends | List of all members
Gringo::unique_list_iterator< Value > Class Template Reference

#include <unique_list.hh>

Inheritance diagram for Gringo::unique_list_iterator< Value >:
Inheritance graph
Collaboration diagram for Gringo::unique_list_iterator< Value >:
Collaboration graph

Public Member Functions

 unique_list_iterator ()
 
 unique_list_iterator (unique_list_iterator const &x)=default
 
unique_list_iteratoroperator= (const unique_list_iterator &)=default
 
bool operator== (const unique_list_iterator &x) const
 
bool operator!= (const unique_list_iterator &x) const
 
unique_list_iteratoroperator++ ()
 
unique_list_iterator operator++ (int)
 
unique_list_iteratoroperator-- ()
 
unique_list_iterator operator-- (int)
 
iterator::reference operator* () const
 
iterator::pointer operator-> () const
 

Friends

template<class V , class X , class H , class E >
struct unique_list
 
template<class V >
struct unique_list_const_iterator
 

Constructor & Destructor Documentation

template<class Value>
Gringo::unique_list_iterator< Value >::unique_list_iterator ( )
inline
template<class Value>
Gringo::unique_list_iterator< Value >::unique_list_iterator ( unique_list_iterator< Value > const &  x)
default

Member Function Documentation

template<class Value>
bool Gringo::unique_list_iterator< Value >::operator!= ( const unique_list_iterator< Value > &  x) const
inline
template<class Value>
iterator::reference Gringo::unique_list_iterator< Value >::operator* ( ) const
inline
template<class Value>
unique_list_iterator& Gringo::unique_list_iterator< Value >::operator++ ( )
inline
template<class Value>
unique_list_iterator Gringo::unique_list_iterator< Value >::operator++ ( int  )
inline
template<class Value>
unique_list_iterator& Gringo::unique_list_iterator< Value >::operator-- ( )
inline
template<class Value>
unique_list_iterator Gringo::unique_list_iterator< Value >::operator-- ( int  )
inline
template<class Value>
iterator::pointer Gringo::unique_list_iterator< Value >::operator-> ( ) const
inline
template<class Value>
unique_list_iterator& Gringo::unique_list_iterator< Value >::operator= ( const unique_list_iterator< Value > &  )
default
template<class Value>
bool Gringo::unique_list_iterator< Value >::operator== ( const unique_list_iterator< Value > &  x) const
inline

Friends And Related Function Documentation

template<class Value>
template<class V , class X , class H , class E >
friend struct unique_list
friend
template<class Value>
template<class V >
friend struct unique_list_const_iterator
friend

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