souffle::interpreter::Relation< _Arity, Structure >::iterator_base Class Reference

#include <Relation.h>

Inheritance diagram for souffle::interpreter::Relation< _Arity, Structure >::iterator_base:

Collaboration diagram for souffle::interpreter::Relation< _Arity, Structure >::iterator_base:

Public Member Functions
iterator_base *	clone () const override
bool	equal (const RelationWrapper::iterator_base &other) const override
	iterator_base (typename Index::iterator iter, Order order)
const RamDomain *	operator* () override
iterator_base &	operator++ () override
Public Member Functions inherited from souffle::interpreter::RelationWrapper::iterator_base
virtual	~iterator_base ()=default

Private Attributes
RamDomain	data [Arity]
iterator	iter
Order	order

Detailed Description

template<size_t _Arity, template< size_t > typename Structure>
class souffle::interpreter::Relation< _Arity, Structure >::iterator_base

Definition at line 239 of file Relation.h.

Constructor & Destructor Documentation

iterator_base()

template<size_t _Arity, template< size_t > typename Structure>

souffle::interpreter::Relation< _Arity, Structure >::iterator_base::iterator_base ( typename Index::iterator  iter, Order  order  )

inline

Definition at line 245 of file Relation.h.

                                              {

Member Function Documentation

clone()

template<size_t _Arity, template< size_t > typename Structure>

iterator_base* souffle::interpreter::Relation< _Arity, Structure >::iterator_base::clone ( ) const

inlineoverridevirtual

Implements souffle::interpreter::RelationWrapper::iterator_base.

Definition at line 262 of file Relation.h.

                                    {

equal()

template<size_t _Arity, template< size_t > typename Structure>

bool souffle::interpreter::Relation< _Arity, Structure >::iterator_base::equal ( const RelationWrapper::iterator_base &  other ) const

inlineoverridevirtual

Implements souffle::interpreter::RelationWrapper::iterator_base.

Definition at line 266 of file Relation.h.

                                    {
        return Iterator(new iterator_base(main->begin(), main->getOrder()));
    }
 

operator*()

template<size_t _Arity, template< size_t > typename Structure>

const RamDomain* souffle::interpreter::Relation< _Arity, Structure >::iterator_base::operator* ( )

inlineoverridevirtual

Implements souffle::interpreter::RelationWrapper::iterator_base.

Definition at line 253 of file Relation.h.

                                              {
            return new iterator_base(iter, order);
        }
 
        bool equal(const RelationWrapper::iterator_base& other) const override {

operator++()

template<size_t _Arity, template< size_t > typename Structure>

iterator_base& souffle::interpreter::Relation< _Arity, Structure >::iterator_base::operator++ ( )

inlineoverridevirtual

Implements souffle::interpreter::RelationWrapper::iterator_base.

Definition at line 248 of file Relation.h.

                                                      {
                data[order[i]] = tuple[i];

References souffle::interpreter::Relation< _Arity, Structure >::iterator_base::data, i, and souffle::interpreter::Relation< _Arity, Structure >::iterator_base::order.

Field Documentation

data

template<size_t _Arity, template< size_t > typename Structure>

RamDomain souffle::interpreter::Relation< _Arity, Structure >::iterator_base::data[Arity]

private

Definition at line 242 of file Relation.h.

Referenced by souffle::interpreter::Relation< _Arity, Structure >::iterator_base::operator++().

iter

template<size_t _Arity, template< size_t > typename Structure>

iterator souffle::interpreter::Relation< _Arity, Structure >::iterator_base::iter

private

Definition at line 240 of file Relation.h.

order

template<size_t _Arity, template< size_t > typename Structure>

Order souffle::interpreter::Relation< _Arity, Structure >::iterator_base::order

private

Definition at line 241 of file Relation.h.

Referenced by souffle::interpreter::Relation< _Arity, Structure >::iterator_base::operator++().

---

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

• interpreter/Relation.h