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

#include <unique_list.hh>

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

Public Member Functions

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

Friends

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

Constructor & Destructor Documentation

Member Function Documentation

template<class Value >
bool Gringo::unique_list_const_iterator< Value >::operator!= ( const unique_list_const_iterator< Value > &  x) const
inline
template<class Value >
iterator::reference Gringo::unique_list_const_iterator< Value >::operator* ( ) const
inline
template<class Value >
unique_list_const_iterator& Gringo::unique_list_const_iterator< Value >::operator++ ( )
inline
template<class Value >
unique_list_const_iterator Gringo::unique_list_const_iterator< Value >::operator++ ( int  )
inline
template<class Value >
unique_list_const_iterator& Gringo::unique_list_const_iterator< Value >::operator-- ( )
inline
template<class Value >
unique_list_const_iterator Gringo::unique_list_const_iterator< Value >::operator-- ( int  )
inline
template<class Value >
iterator::pointer Gringo::unique_list_const_iterator< Value >::operator-> ( ) const
inline
template<class Value >
unique_list_const_iterator& Gringo::unique_list_const_iterator< Value >::operator= ( const unique_list_const_iterator< Value > &  )
default
template<class Value >
bool Gringo::unique_list_const_iterator< Value >::operator== ( const unique_list_const_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

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