dlvhex
2.5.0
|
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>
Go to the source code of this file.
Functions | |
void | parseCommandFile (const std::string &fname, IdxCommandVector &commands) |
Implementation of an evaluation heuristic that simply executes commands from a file.
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.
void parseCommandFile | ( | const std::string & | fname, |
IdxCommandVector & | commands | ||
) |
Definition at line 184 of file EvalHeuristicFromFile.cpp.
References LOG, and WARNING().
Referenced by EvalHeuristicFromFile::build().