dlvhex  2.5.0
src/EvalHeuristicMonolithic.cpp File Reference

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

Include dependency graph for EvalHeuristicMonolithic.cpp:

Go to the source code of this file.


Detailed Description

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

Author:
Christoph Redl

Definition in file EvalHeuristicMonolithic.cpp.