include/dlvhex2/EvalHeuristicOldDlvhex.h File Reference

Evaluation heuristic corresponding to old DLVHEX strategy. More...

#include "dlvhex2/EvalHeuristicBase.h"
#include "dlvhex2/EvalGraphBuilder.h"

Include dependency graph for EvalHeuristicOldDlvhex.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	EvalHeuristicOldDlvhex
	Creates evaluation units as maximal bottoms as in dlvhex 1.x. More...

---

Detailed Description

Evaluation heuristic corresponding to old DLVHEX strategy.

Author:

Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file EvalHeuristicOldDlvhex.h.