souffle::t_nullaries::iterator Class Reference

#include <CompiledSouffle.h>

Collaboration diagram for souffle::t_nullaries::iterator:

Public Types
using	difference_type = ptrdiff_t
typedef std::forward_iterator_tag	iterator_category
using	pointer = value_type *
using	reference = value_type &
using	value_type = RamDomain *

Public Member Functions
	iterator (bool v=false)
bool	operator!= (const iterator &other) const
const RamDomain *	operator* ()
iterator &	operator++ ()
bool	operator== (const iterator &other) const

Private Attributes
bool	value

Detailed Description

Definition at line 199 of file CompiledSouffle.h.

Member Typedef Documentation

difference_type

using souffle::t_nullaries::iterator::difference_type = ptrdiff_t

Definition at line 205 of file CompiledSouffle.h.

iterator_category

typedef std::forward_iterator_tag souffle::t_nullaries::iterator::iterator_category

Definition at line 203 of file CompiledSouffle.h.

pointer

using souffle::t_nullaries::iterator::pointer = value_type*

Definition at line 206 of file CompiledSouffle.h.

reference

using souffle::t_nullaries::iterator::reference = value_type&

Definition at line 207 of file CompiledSouffle.h.

value_type

using souffle::t_nullaries::iterator::value_type = RamDomain*

Definition at line 204 of file CompiledSouffle.h.

Constructor & Destructor Documentation

iterator()

souffle::t_nullaries::iterator::iterator ( bool  v = false )

inline

Definition at line 209 of file CompiledSouffle.h.

{

References value.

Member Function Documentation

operator!=()

bool souffle::t_nullaries::iterator::operator!= ( const iterator &  other ) const

inline

Definition at line 219 of file CompiledSouffle.h.

                           {

operator*()

const RamDomain* souffle::t_nullaries::iterator::operator* ( )

inline

Definition at line 211 of file CompiledSouffle.h.

                                                     {

operator++()

iterator& souffle::t_nullaries::iterator::operator++ ( )

inline

Definition at line 223 of file CompiledSouffle.h.

                           {
        return iterator(data);
    }
    iterator end() const {
        return iterator();

operator==()

bool souffle::t_nullaries::iterator::operator== ( const iterator &  other ) const

inline

Definition at line 215 of file CompiledSouffle.h.

                               {

Field Documentation

value

bool souffle::t_nullaries::iterator::value

private

Definition at line 200 of file CompiledSouffle.h.

Referenced by iterator().

---

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

• include/souffle/CompiledSouffle.h