src/BaseModelGenerator.cpp File Reference

Implementation of common model generator functionalities. More...

#include "dlvhex2/BaseModelGenerator.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/ASPSolver.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/Atoms.h"
#include "dlvhex2/ExternalLearningHelper.h"
#include "dlvhex2/LiberalSafetyChecker.h"
#include <boost/foreach.hpp>
#include <boost/ptr_container/ptr_vector.hpp>
#include <boost/unordered_set.hpp>
#include <fstream>

Include dependency graph for BaseModelGenerator.cpp:

Go to the source code of this file.

Data Structures
class	EAInputTupleCache
Typedefs
typedef boost::shared_ptr < EAInputTupleCache >	EAInputTupleCachePtr

---

Detailed Description

Implementation of common model generator functionalities.

Author:

Peter Schller

Definition in file BaseModelGenerator.cpp.

---

Typedef Documentation

typedef boost::shared_ptr<EAInputTupleCache> EAInputTupleCachePtr

Definition at line 105 of file BaseModelGenerator.cpp.