src/ExternalAtomEvaluationHeuristics.cpp File Reference

Concrete classes with heuristics for external atom evaluations in genuine G&C model generators. More...

#include "dlvhex2/ExternalAtomEvaluationHeuristics.h"
#include "dlvhex2/Interpretation.h"
#include <bm/bmalgo.h>

Include dependency graph for ExternalAtomEvaluationHeuristics.cpp:

Go to the source code of this file.

---

Detailed Description

Concrete classes with heuristics for external atom evaluations in genuine G&C model generators.

Author:

Christoph Redl

Definition in file ExternalAtomEvaluationHeuristics.cpp.