dlvhex  2.5.0
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().