include/dlvhex2/PlainAuxPrinter.h File Reference

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

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/Registry.h"

Include dependency graph for PlainAuxPrinter.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	PlainAuxPrinter
	Prints auxiliary atoms in a generic fashion of kind aux_XXX(...). More...

---

Detailed Description

Helper for printing auxiliary objects for the user.

Author:

Peter Schueller <[email protected]>

Definition in file PlainAuxPrinter.h.