Implementation of logging facility. More...
#include "dlvhex2/Logger.h"
Go to the source code of this file.
Implementation of logging facility.
Definition in file Logger.cpp.