dlvhex  2.1.0
PlainAuxPrinter Class Reference

#include <include/dlvhex2/PlainAuxPrinter.h>

Inheritance diagram for PlainAuxPrinter:
Collaboration diagram for PlainAuxPrinter:

Public Member Functions

 PlainAuxPrinter (RegistryPtr reg)
virtual bool print (std::ostream &out, ID id, const std::string &prefix) const

Protected Attributes

RegistryPtr reg

Detailed Description

Definition at line 39 of file PlainAuxPrinter.h.


Constructor & Destructor Documentation


Member Function Documentation

bool PlainAuxPrinter::print ( std::ostream &  out,
ID  id,
const std::string &  prefix 
) const [virtual]

Implements AuxPrinter.

Definition at line 47 of file PlainAuxPrinter.cpp.

References reg.


Field Documentation

Definition at line 49 of file PlainAuxPrinter.h.

Referenced by print().


The documentation for this class was generated from the following files: