src/Logger.cpp File Reference

Implementation of logging facility. More...

#include "dlvhex2/Logger.h"

Include dependency graph for Logger.cpp:

Go to the source code of this file.

---

Detailed Description

Implementation of logging facility.

Author:

Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file Logger.cpp.