Gringo::Ground::Binder Struct Reference

#include <instantiation.hh>

Inheritance diagram for Gringo::Ground::Binder:

Collaboration diagram for Gringo::Ground::Binder:

Public Member Functions
virtual IndexUpdater *	getUpdater ()=0
virtual void	match ()=0
virtual bool	next ()=0
virtual	~Binder ()
Public Member Functions inherited from Gringo::Printable
virtual void	print (std::ostream &out) const =0
virtual	~Printable ()

Constructor & Destructor Documentation

virtual Gringo::Ground::Binder::~Binder ( )

inlinevirtual

Member Function Documentation

virtual IndexUpdater* Gringo::Ground::Binder::getUpdater ( )

pure virtual

Implemented in Gringo::Ground::PosMatcher< Element >, Gringo::Ground::SolutionBinder, Gringo::Ground::Matcher< Element >, and Gringo::Ground::PosBinder< Index, LookupArgs >.

virtual void Gringo::Ground::Binder::match ( )

pure virtual

Implemented in Gringo::Ground::PosMatcher< Element >, Gringo::Ground::SolutionBinder, Gringo::Ground::Matcher< Element >, and Gringo::Ground::PosBinder< Index, LookupArgs >.

virtual bool Gringo::Ground::Binder::next ( )

pure virtual

Implemented in Gringo::Ground::PosMatcher< Element >, Gringo::Ground::SolutionBinder, Gringo::Ground::Matcher< Element >, and Gringo::Ground::PosBinder< Index, LookupArgs >.

---

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

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