src/GuessAndCheckModelGenerator.cpp File Reference

Implementation of the model generator for "GuessAndCheck" components. More...

#include "dlvhex2/GuessAndCheckModelGenerator.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include "dlvhex2/OrdinaryASPSolver.h"
#include "dlvhex2/ASPSolver.h"
#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/Benchmarking.h"
#include <bm/bmalgo.h>
#include <boost/foreach.hpp>

Include dependency graph for GuessAndCheckModelGenerator.cpp:

Go to the source code of this file.

Data Structures
class	DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
Namespaces
namespace	DLVHEX_NAMESPACE_BEGIN
	for one eval unit, we transform the rules (idb) independent of input interpretations as follows: * replace all external atoms with eatom replacements
Defines
#define	DLVHEX_BENCHMARK
Typedefs
typedef boost::shared_ptr < ASMOrdinaryASPSolver >	DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolverPtr

---

Detailed Description

Implementation of the model generator for "GuessAndCheck" components.

Author:

Peter Schller

Definition in file GuessAndCheckModelGenerator.cpp.

---

Define Documentation

#define DLVHEX_BENCHMARK

Definition at line 38 of file GuessAndCheckModelGenerator.cpp.