src/ManualEvalHeuristicsPlugin.cpp File Reference

Plugin for specifying evaluation units in HEX input. More...

#include "dlvhex2/ManualEvalHeuristicsPlugin.h"
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/HexParserModule.h"
#include "dlvhex2/HexGrammar.h"
#include "dlvhex2/EvalHeuristicBase.h"
#include "dlvhex2/EvalHeuristicShared.h"
#include "dlvhex2/EvalGraphBuilder.h"

Include dependency graph for ManualEvalHeuristicsPlugin.cpp:

Go to the source code of this file.

Data Structures
class	DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
class	ManualEvalHeuristicsParserModuleSemantics
struct	ManualEvalHeuristicsParserModuleSemantics::evalUnit
struct	sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >
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
Typedefs
typedef ComponentGraph::Component	DLVHEX_NAMESPACE_BEGIN::Component
typedef ComponentGraph::ComponentIterator	DLVHEX_NAMESPACE_BEGIN::ComponentIterator
typedef evalheur::ComponentContainer	DLVHEX_NAMESPACE_BEGIN::ComponentContainer
typedef ManualEvalHeuristicsPlugin::CtxData::InstructionList	DLVHEX_NAMESPACE_BEGIN::InstructionList
typedef std::map< unsigned, std::list< Component > >	DLVHEX_NAMESPACE_BEGIN::UnitMap
typedef std::map< Component, unsigned >	DLVHEX_NAMESPACE_BEGIN::UnitBackMap

---

Detailed Description

Plugin for specifying evaluation units in HEX input.

Author:

Peter Schueller

Definition in file ManualEvalHeuristicsPlugin.cpp.