Gringo::Exports< Element > Struct Template Reference

#include <domain.hh>

Collaboration diagram for Gringo::Exports< Element >:

Public Types
using	element_type = Element
using	element_vec = std::vector< std::reference_wrapper< Element >>
using	element_iterator = typename element_vec::iterator
using	const_element_iterator = typename element_vec::const_iterator

Public Member Functions
bool	next ()
void	init ()
void	append (element_type &elem)
void	clear ()
void	incNext ()
void	showNext ()
unsigned	size () const
element_iterator	begin ()
element_iterator	end ()
const_element_iterator	begin () const
const_element_iterator	end () const
element_type &	operator[] (unsigned x)

Public Attributes
element_vec	exports
unsigned	offset = 0
	Up to which offset to include. More...
unsigned	generation = 0
	starting point of the current generation More...
unsigned	nextGeneration = 0
unsigned	incOffset = 0
unsigned	showOffset = 0
	Used to decouple symbol table generation from grounding. More...

Member Typedef Documentation

template<class Element>

using Gringo::Exports< Element >::const_element_iterator = typename element_vec::const_iterator

template<class Element>

using Gringo::Exports< Element >::element_iterator = typename element_vec::iterator

template<class Element>

using Gringo::Exports< Element >::element_type = Element

template<class Element>

using Gringo::Exports< Element >::element_vec = std::vector<std::reference_wrapper<Element>>

Member Function Documentation

template<class Element >

void Gringo::Exports< Element >::append

(

element_type &

elem

)

template<class Element >

Exports< Element >::element_iterator Gringo::Exports< Element >::begin

(

)

template<class Element >

Exports< Element >::const_element_iterator Gringo::Exports< Element >::begin

(

)

const

template<class Element >

void Gringo::Exports< Element >::clear

(

)

template<class Element >

Exports< Element >::element_iterator Gringo::Exports< Element >::end

(

)

template<class Element >

Exports< Element >::const_element_iterator Gringo::Exports< Element >::end

(

)

const

template<class Element >

void Gringo::Exports< Element >::incNext

(

)

template<class Element >

void Gringo::Exports< Element >::init

(

)

template<class Element >

bool Gringo::Exports< Element >::next

(

)

template<class Element >

Exports< Element >::element_type & Gringo::Exports< Element >::operator[]

(

unsigned

x

)

template<class Element >

void Gringo::Exports< Element >::showNext

(

)

template<class Element >

unsigned Gringo::Exports< Element >::size

(

)

const

Member Data Documentation

template<class Element>

element_vec Gringo::Exports< Element >::exports

template<class Element>

unsigned Gringo::Exports< Element >::generation = 0

starting point of the current generation

template<class Element>

unsigned Gringo::Exports< Element >::incOffset = 0

The incOffset divides elements added at the current and previous incremental steps. It is used to only output newly inserted atoms, for projection, and classical negation.

template<class Element>

unsigned Gringo::Exports< Element >::nextGeneration = 0

starting point of the next generation

template<class Element>

unsigned Gringo::Exports< Element >::offset = 0

Up to which offset to include.

template<class Element>

unsigned Gringo::Exports< Element >::showOffset = 0

Used to decouple symbol table generation from grounding.

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/domain.hh