src/DumpingEvalGraphBuilder.cpp File Reference

Evaluation Graph builder that dumps its evaluation plan. More...

#include "dlvhex2/DumpingEvalGraphBuilder.h"
#include "dlvhex2/Logger.h"
#include <fstream>

Include dependency graph for DumpingEvalGraphBuilder.cpp:

Go to the source code of this file.

---

Detailed Description

Evaluation Graph builder that dumps its evaluation plan.

Author:

Peter Schller

Definition in file DumpingEvalGraphBuilder.cpp.