clingo
Main Page
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Groups
Gringo
Report
Public Member Functions
|
Public Attributes
|
List of all members
Gringo::Report Struct Reference
#include <
logger.hh
>
Collaboration diagram for Gringo::Report:
Public Member Functions
~Report
()
Public Attributes
std::ostringstream
out
Constructor & Destructor Documentation
Gringo::Report::~Report
(
)
inline
Here is the call graph for this function:
Member Data Documentation
std::ostringstream Gringo::Report::out
The documentation for this struct was generated from the following file:
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/
logger.hh
Generated on Wed May 14 2014 16:10:53 for clingo by
1.8.7