Gringo::Statistics Struct Reference

#include <control.hh>

Inheritance diagram for Gringo::Statistics:

Collaboration diagram for Gringo::Statistics:

Classes
struct	Quantity

Public Types
enum	Error { error_none = 0, error_unknown_quantity = 1, error_ambiguous_quantity = 2, error_not_available = 3 }

Public Member Functions
virtual Quantity	getStat (char const *key) const =0
virtual char const *	getKeys (char const *key) const =0
virtual	~Statistics ()

Member Enumeration Documentation

enum Gringo::Statistics::Error

Enumerator
error_none
error_unknown_quantity
error_ambiguous_quantity
error_not_available

Constructor & Destructor Documentation

virtual Gringo::Statistics::~Statistics ( )

inlinevirtual

Member Function Documentation

virtual char const* Gringo::Statistics::getKeys ( char const *  key ) const

pure virtual

Implemented in ClingoStatistics.

virtual Quantity Gringo::Statistics::getStat ( char const *  key ) const

pure virtual

Implemented in ClingoStatistics.

---

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

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