Gringo::Ground::Lookup< Occ > Struct Template Reference

#include <dependency.hh>

Inheritance diagram for Gringo::Ground::Lookup< Occ >:

Collaboration diagram for Gringo::Ground::Lookup< Occ >:

Public Types
typedef std::unordered_multimap < FWSignature, GTerm * >	SigLookup
typedef std::unordered_multimap< GTerm *, Occ, value_hash< GTerm * > , value_equal_to< GTerm * > >	Occurrences
typedef Occurrences::iterator	iterator

Public Member Functions
bool	add (GTerm &term, Occ &&occ)
template<class Callback >
void	match (Value const &x, Callback const &c)
template<class Callback >
void	unify (GTerm &x, Callback const &c)
	~Lookup ()

Public Attributes
Occurrences	occs

Member Typedef Documentation

template<class Occ>

typedef Occurrences::iterator Gringo::Ground::Lookup< Occ >::iterator

template<class Occ>

typedef std::unordered_multimap<GTerm*, Occ, value_hash<GTerm*>, value_equal_to<GTerm*> > Gringo::Ground::Lookup< Occ >::Occurrences

template<class Occ>

typedef std::unordered_multimap<FWSignature, GTerm*> Gringo::Ground::Lookup< Occ >::SigLookup

Constructor & Destructor Documentation

template<class Occ >

Gringo::Ground::Lookup< Occ >::~Lookup

(

)

Member Function Documentation

template<class Occ>

bool Gringo::Ground::Lookup< Occ >::add	(	GTerm &	term,
		Occ &&	occ
	)

Adds an occurrence associated with a term. If there is already an occurrence with a structurally equivalent term, then the method returns true. Otherwise, the method returns false and the freshly inserted occurrence is associated with the (representative) term already present.

Here is the call graph for this function:

template<class Occ >

template<class Callback >

void Gringo::Ground::Lookup< Occ >::match	(	Value const &	x,
		Callback const &	c
	)

Here is the call graph for this function:

template<class Occ >

template<class Callback >

void Gringo::Ground::Lookup< Occ >::unify	(	GTerm &	x,
		Callback const &	c
	)

Here is the call graph for this function:

Member Data Documentation

template<class Occ>

Occurrences Gringo::Ground::Lookup< Occ >::occs

---

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

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