Gringo::Ground::PosMatcher< Element > Struct Template Reference

#include <binders.hh>

Inheritance diagram for Gringo::Ground::PosMatcher< Element >:

Collaboration diagram for Gringo::Ground::PosMatcher< Element >:

Public Types
using	DomainType = AbstractDomain< Element >
using	Match = typename DomainType::element_type *

Public Member Functions
	PosMatcher (Match &result, DomainType &domain, UTerm &&repr, BinderType type)
virtual IndexUpdater *	getUpdater ()
virtual void	match ()
virtual bool	next ()
virtual bool	update ()
virtual void	print (std::ostream &out) const
virtual	~PosMatcher ()
Public Member Functions inherited from Gringo::Ground::Binder
virtual	~Binder ()
Public Member Functions inherited from Gringo::Printable
virtual	~Printable ()
Public Member Functions inherited from Gringo::IndexUpdater
virtual	~IndexUpdater ()

Public Attributes
Match &	result
DomainType &	domain
UTerm	repr
BinderType	type
unsigned	imported = 0
bool	firstMatch = false

Member Typedef Documentation

template<class Element >

using Gringo::Ground::PosMatcher< Element >::DomainType = AbstractDomain<Element>

template<class Element >

using Gringo::Ground::PosMatcher< Element >::Match = typename DomainType::element_type*

Constructor & Destructor Documentation

template<class Element >

Gringo::Ground::PosMatcher< Element >::PosMatcher ( Match &  result, DomainType &  domain, UTerm &&  repr, BinderType  type  )

inline

template<class Element >

virtual Gringo::Ground::PosMatcher< Element >::~PosMatcher ( )

inlinevirtual

Member Function Documentation

template<class Element >

virtual IndexUpdater* Gringo::Ground::PosMatcher< Element >::getUpdater ( )

inlinevirtual

Implements Gringo::Ground::Binder.

template<class Element >

virtual void Gringo::Ground::PosMatcher< Element >::match ( )

inlinevirtual

Implements Gringo::Ground::Binder.

Here is the call graph for this function:

template<class Element >

virtual bool Gringo::Ground::PosMatcher< Element >::next ( )

inlinevirtual

Implements Gringo::Ground::Binder.

template<class Element >

virtual void Gringo::Ground::PosMatcher< Element >::print ( std::ostream &  out ) const

inlinevirtual

Implements Gringo::Printable.

template<class Element >

virtual bool Gringo::Ground::PosMatcher< Element >::update ( )

inlinevirtual

Implements Gringo::IndexUpdater.

Here is the call graph for this function:

Member Data Documentation

template<class Element >

DomainType& Gringo::Ground::PosMatcher< Element >::domain

template<class Element >

bool Gringo::Ground::PosMatcher< Element >::firstMatch = false

template<class Element >

unsigned Gringo::Ground::PosMatcher< Element >::imported = 0

template<class Element >

UTerm Gringo::Ground::PosMatcher< Element >::repr

template<class Element >

Match& Gringo::Ground::PosMatcher< Element >::result

template<class Element >

BinderType Gringo::Ground::PosMatcher< Element >::type

---

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

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