dlvhex  2.5.0
include/dlvhex2/EvalHeuristicTrivial.h File Reference

Evaluation heuristic that just uses the compgraph as eval graph. More...

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

Go to the source code of this file.

Data Structures

class  EvalHeuristicTrivial
 Heuristics which creates a separate evaluation unit for each strongly connected component. More...

Detailed Description

Evaluation heuristic that just uses the compgraph as eval graph.

Author:
Peter Schueller <[email protected]>

Definition in file EvalHeuristicTrivial.h.