dlvhex  2.5.0
include/dlvhex2/EvalHeuristicMonolithic.h File Reference

Implementation of a trivial evaluation heuristic which puts everything into one unit. More...

Include dependency graph for EvalHeuristicMonolithic.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  EvalHeuristicMonolithic
 Creates a single evaluation unit for the whole program. More...

Detailed Description

Implementation of a trivial evaluation heuristic which puts everything into one unit.

Author:
Christoph Redl <redl@kr.tuwien.ac.at>

Definition in file EvalHeuristicMonolithic.h.