souffle  2.0.2-371-g6315b36
Public Member Functions | Private Attributes
souffle::t_info< Arity_ >::iterator Class Reference

#include <CompiledSouffle.h>

Inheritance diagram for souffle::t_info< Arity_ >::iterator:
Inheritance graph
Collaboration diagram for souffle::t_info< Arity_ >::iterator:
Collaboration graph

Public Member Functions

 iterator (const typename std::vector< t_tuple >::const_iterator &o)
 
bool operator!= (const iterator &other) const
 
const t_tuple operator* ()
 
iteratoroperator++ ()
 
bool operator== (const iterator &other) const
 

Private Attributes

std::vector< Tuple< RamDomain, Arity > >::const_iterator it
 

Detailed Description

template<Relation::arity_type Arity_>
class souffle::t_info< Arity_ >::iterator

Definition at line 280 of file CompiledSouffle.h.

Constructor & Destructor Documentation

◆ iterator()

template<Relation::arity_type Arity_>
souffle::t_info< Arity_ >::iterator::iterator ( const typename std::vector< t_tuple >::const_iterator &  o)
inline

Definition at line 284 of file CompiledSouffle.h.

284 {

References souffle::t_info< Arity_ >::iterator::it.

Member Function Documentation

◆ operator!=()

template<Relation::arity_type Arity_>
bool souffle::t_info< Arity_ >::iterator::operator!= ( const iterator other) const
inline

Definition at line 294 of file CompiledSouffle.h.

297  {

◆ operator*()

template<Relation::arity_type Arity_>
const t_tuple souffle::t_info< Arity_ >::iterator::operator* ( )
inline

Definition at line 286 of file CompiledSouffle.h.

288  {

◆ operator++()

template<Relation::arity_type Arity_>
iterator& souffle::t_info< Arity_ >::iterator::operator++ ( )
inline

Definition at line 298 of file CompiledSouffle.h.

300  {
301  return iterator(data.end());

◆ operator==()

template<Relation::arity_type Arity_>
bool souffle::t_info< Arity_ >::iterator::operator== ( const iterator other) const
inline

Definition at line 290 of file CompiledSouffle.h.

292  {

Field Documentation

◆ it

template<Relation::arity_type Arity_>
std::vector<Tuple<RamDomain, Arity> >::const_iterator souffle::t_info< Arity_ >::iterator::it
private

Definition at line 281 of file CompiledSouffle.h.

Referenced by souffle::t_info< Arity_ >::iterator::iterator().


The documentation for this class was generated from the following file:
souffle::t_info::iterator::iterator
iterator(const typename std::vector< t_tuple >::const_iterator &o)
Definition: CompiledSouffle.h:284
souffle::t_info::data
std::vector< Tuple< RamDomain, Arity > > data
Definition: CompiledSouffle.h:351