src/PlainAuxPrinter.cpp File Reference

Helper for printing auxiliary objects for the user. More...

#include "dlvhex2/PlainAuxPrinter.h"
#include "dlvhex2/Printer.h"

Include dependency graph for PlainAuxPrinter.cpp:

Go to the source code of this file.

---

Detailed Description

Helper for printing auxiliary objects for the user.

Author:

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

Definition in file PlainAuxPrinter.cpp.