Gringo::FullIndex< Element > Struct Template Reference

#include <domain.hh>

Inheritance diagram for Gringo::FullIndex< Element >:

Collaboration diagram for Gringo::FullIndex< Element >:

Classes
struct	element_range

Public Types
using	exports_type = Exports< Element >
using	element_type = typename exports_type::element_type
using	interval_vec = std::vector< std::pair< unsigned, unsigned >>
using	interval_iterator = typename interval_vec::iterator

Public Member Functions
	FullIndex (exports_type &exports, UTerm &&repr, unsigned imported)
element_range	lookup (BinderType type)
virtual bool	update ()
bool	operator== (FullIndex const &x) const
size_t	hash () const
virtual	~FullIndex ()
Public Member Functions inherited from Gringo::IndexUpdater
virtual	~IndexUpdater ()

Public Attributes
UTerm	repr
exports_type &	exports
interval_vec	index
unsigned	imported
unsigned	initialImport

Member Typedef Documentation

template<class Element>

using Gringo::FullIndex< Element >::element_type = typename exports_type::element_type

template<class Element>

using Gringo::FullIndex< Element >::exports_type = Exports<Element>

template<class Element>

using Gringo::FullIndex< Element >::interval_iterator = typename interval_vec::iterator

template<class Element>

using Gringo::FullIndex< Element >::interval_vec = std::vector<std::pair<unsigned, unsigned>>

Constructor & Destructor Documentation

template<class Element >

Gringo::FullIndex< Element >::FullIndex	(	exports_type &	exports,
		UTerm &&	repr,
		unsigned	imported
	)

template<class Element >

Gringo::FullIndex< Element >::~FullIndex ( )

virtual

Member Function Documentation

template<class Element >

size_t Gringo::FullIndex< Element >::hash

(

)

const

Here is the call graph for this function:

template<class Element >

FullIndex< Element >::element_range Gringo::FullIndex< Element >::lookup

(

BinderType

type

)

Here is the call graph for this function:

template<class Element >

bool Gringo::FullIndex< Element >::operator==

(

FullIndex< Element > const &

x

)

const

template<class Element >

bool Gringo::FullIndex< Element >::update ( )

virtual

Implements Gringo::IndexUpdater.

Here is the call graph for this function:

Member Data Documentation

template<class Element>

exports_type& Gringo::FullIndex< Element >::exports

template<class Element>

unsigned Gringo::FullIndex< Element >::imported

template<class Element>

interval_vec Gringo::FullIndex< Element >::index

template<class Element>

unsigned Gringo::FullIndex< Element >::initialImport

template<class Element>

UTerm Gringo::FullIndex< Element >::repr

---

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

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