src/EvalHeuristicFromFile.cpp File Reference

Implementation of an evaluation heuristic that simply executes commands from a file. More...

#include "dlvhex2/EvalHeuristicFromFile.h"
#include "dlvhex2/EvalHeuristicShared.h"
#include "dlvhex2/Logger.h"
#include <boost/unordered_map.hpp>
#include <boost/graph/properties.hpp>
#include <boost/spirit/include/qi.hpp>
#include <fstream>
#include <sstream>

Include dependency graph for EvalHeuristicFromFile.cpp:

Go to the source code of this file.

Functions
void	parseCommandFile (const std::string &fname, IdxCommandVector &commands)

---

Detailed Description

Implementation of an evaluation heuristic that simply executes commands from a file.

Author:

Peter Schller

Such files are best created after creating a component graph .dot file using the dlvhex --graphviz=comp option. IDs of the components can be specified in the command file. The command file has lines of the form "collapse <id> <id> <id> ...".

Definition in file EvalHeuristicFromFile.cpp.

---

Function Documentation

void parseCommandFile	(	const std::string &	fname,
		IdxCommandVector &	commands
	)

Definition at line 184 of file EvalHeuristicFromFile.cpp.

References LOG, and WARNING().

Referenced by EvalHeuristicFromFile::build().