Gringo::Ground::SolutionBinder Struct Reference

#include <instantiation.hh>

Inheritance diagram for Gringo::Ground::SolutionBinder:

Collaboration diagram for Gringo::Ground::SolutionBinder:

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

Constructor & Destructor Documentation

Gringo::Ground::SolutionBinder::~SolutionBinder ( )

virtual

Member Function Documentation

IndexUpdater * Gringo::Ground::SolutionBinder::getUpdater ( )

virtual

Implements Gringo::Ground::Binder.

void Gringo::Ground::SolutionBinder::match ( )

virtual

Implements Gringo::Ground::Binder.

bool Gringo::Ground::SolutionBinder::next ( )

virtual

Implements Gringo::Ground::Binder.

void Gringo::Ground::SolutionBinder::print ( std::ostream &  out ) const

virtual

Implements Gringo::Printable.

---

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

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