dlvhex  2.5.0
Public Member Functions | Protected Attributes
PlainAuxPrinter Class Reference

Prints auxiliary atoms in a generic fashion of kind aux_XXX(...). More...

#include <include/dlvhex2/PlainAuxPrinter.h>

Inheritance diagram for PlainAuxPrinter:
Inheritance graph
[legend]
Collaboration diagram for PlainAuxPrinter:
Collaboration graph
[legend]

Public Member Functions

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

Protected Attributes

RegistryPtr reg
 reg Registry to use for resolving IDs.

Detailed Description

Prints auxiliary atoms in a generic fashion of kind aux_XXX(...).

Definition at line 43 of file PlainAuxPrinter.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN PlainAuxPrinter::PlainAuxPrinter ( RegistryPtr  reg)

Constructor.

Parameters:
regRegistry to use for resolving IDs.

Definition at line 43 of file PlainAuxPrinter.cpp.

Member Function Documentation

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

Print an ID.

Parameters:
outStream to print id to.
idID of an auxiliary atom.
prefixString to print before id.
Returns:
True.

Implements AuxPrinter.

Definition at line 51 of file PlainAuxPrinter.cpp.

References reg.

Field Documentation

RegistryPtr PlainAuxPrinter::reg [protected]

reg Registry to use for resolving IDs.

Definition at line 59 of file PlainAuxPrinter.h.

Referenced by print().

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