Gringo::IndexUpdater Struct Reference

#include <domain.hh>

Inheritance diagram for Gringo::IndexUpdater:

Collaboration diagram for Gringo::IndexUpdater:

Public Member Functions
virtual bool	update ()=0
virtual	~IndexUpdater ()

Constructor & Destructor Documentation

virtual Gringo::IndexUpdater::~IndexUpdater ( )

inlinevirtual

Member Function Documentation

virtual bool Gringo::IndexUpdater::update ( )

pure virtual

Implemented in Gringo::FullIndex< Element >, Gringo::Ground::PosMatcher< Element >, and Gringo::BindIndex< Element >.

---

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

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