src/Printer.cpp File Reference

Printer classes for printing objects stored in registry given registry and ID. More...

#include "dlvhex2/Printer.h"
#include "dlvhex2/Registry.h"
#include <cassert>

Include dependency graph for Printer.cpp:

Go to the source code of this file.

---

Detailed Description

Printer classes for printing objects stored in registry given registry and ID.

Author:

Peter Schueller

Date:

Definition in file Printer.cpp.