src/EvalGraphBuilder.cpp File Reference

Implementation of the eval graph builder. More...

#include "dlvhex2/EvalGraphBuilder.h"
#include "dlvhex2/PlainModelGenerator.h"
#include "dlvhex2/WellfoundedModelGenerator.h"
#include "dlvhex2/GuessAndCheckModelGenerator.h"
#include "dlvhex2/GenuinePlainModelGenerator.h"
#include "dlvhex2/GenuineWellfoundedModelGenerator.h"
#include "dlvhex2/GenuineGuessAndCheckModelGenerator.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/PluginInterface.h"
#include <boost/range/iterator_range.hpp>
#include <sstream>

Include dependency graph for EvalGraphBuilder.cpp:

Go to the source code of this file.

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

---

Detailed Description

Implementation of the eval graph builder.

Author:

Peter Schller

Definition in file EvalGraphBuilder.cpp.