|
dlvhex
2.1.0
|
#include <include/dlvhex2/PlainAuxPrinter.h>


Public Member Functions | |
| PlainAuxPrinter (RegistryPtr reg) | |
| virtual bool | print (std::ostream &out, ID id, const std::string &prefix) const |
Protected Attributes | |
| RegistryPtr | reg |
Definition at line 39 of file PlainAuxPrinter.h.
Definition at line 40 of file PlainAuxPrinter.cpp.
| bool PlainAuxPrinter::print | ( | std::ostream & | out, |
| ID | id, | ||
| const std::string & | prefix | ||
| ) | const [virtual] |
RegistryPtr PlainAuxPrinter::reg [protected] |
Definition at line 49 of file PlainAuxPrinter.h.
Referenced by print().