include/dlvhex2/DLVresultParserDriver.h File Reference

Parser for DLV answer set output. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/AnswerSet.h"
#include "dlvhex2/Error.h"
#include <boost/shared_ptr.hpp>
#include <boost/function.hpp>
#include <iostream>
#include <string>

Include dependency graph for DLVresultParserDriver.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	DLVResultParser
	Parses DLV answer sets. More...
Typedefs
typedef boost::shared_ptr < Registry >	RegistryPtr

---

Detailed Description

Parser for DLV answer set output.

Author:

Roman Schindlauer, Peter Schller

Definition in file DLVresultParserDriver.h.

---

Typedef Documentation

typedef boost::shared_ptr<Registry> RegistryPtr

Definition at line 48 of file DLVresultParserDriver.h.