Gringo::BindIndex< Element > Struct Template Reference

#include <domain.hh>

Inheritance diagram for Gringo::BindIndex< Element >:

Collaboration diagram for Gringo::BindIndex< Element >:

Classes
struct	element_range

Public Types
using	element_type = Element
using	exports_type = Exports< element_type >
using	element_vec = typename exports_type::element_vec
using	element_iterator = typename exports_type::element_iterator
using	index_map = std::unordered_map< FWValVec, element_vec >

Public Member Functions
	BindIndex (exports_type &import, SValVec &&bound, UTerm &&repr)
virtual bool	update ()
element_range	lookup (SValVec const &bound, BinderType type)
bool	operator== (BindIndex const &x) const
size_t	hash () const
virtual	~BindIndex ()
Public Member Functions inherited from Gringo::IndexUpdater
virtual	~IndexUpdater ()

Public Attributes
UTerm const	repr
exports_type &	import
SValVec	bound
ValVec	boundVals
index_map	data
unsigned	imported = 0

Member Typedef Documentation

template<class Element>

using Gringo::BindIndex< Element >::element_iterator = typename exports_type::element_iterator

template<class Element>

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

template<class Element>

using Gringo::BindIndex< Element >::element_vec = typename exports_type::element_vec

template<class Element>

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

template<class Element>

using Gringo::BindIndex< Element >::index_map = std::unordered_map<FWValVec, element_vec>

Constructor & Destructor Documentation

template<class Element >

Gringo::BindIndex< Element >::BindIndex	(	exports_type &	import,
		SValVec &&	bound,
		UTerm &&	repr
	)

template<class Element >

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

virtual

Member Function Documentation

template<class Element >

size_t Gringo::BindIndex< Element >::hash

(

)

const

template<class Element >

BindIndex< Element >::element_range Gringo::BindIndex< Element >::lookup	(	SValVec const &	bound,
		BinderType	type
	)

template<class Element >

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

(

BindIndex< Element > const &

x

)

const

template<class Element >

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

virtual

Implements Gringo::IndexUpdater.

Here is the call graph for this function:

Member Data Documentation

template<class Element>

SValVec Gringo::BindIndex< Element >::bound

template<class Element>

ValVec Gringo::BindIndex< Element >::boundVals

template<class Element>

index_map Gringo::BindIndex< Element >::data

template<class Element>

exports_type& Gringo::BindIndex< Element >::import

template<class Element>

unsigned Gringo::BindIndex< Element >::imported = 0

template<class Element>

UTerm const Gringo::BindIndex< Element >::repr

---

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

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