dlvhex  2.5.0
Public Member Functions | Data Fields
Registry::Impl Struct Reference
Collaboration diagram for Registry::Impl:
Collaboration graph
[legend]

Public Member Functions

 Impl ()

Data Fields

AuxiliaryStorage auxSymbols
PredicateMaskPtr auxGroundAtomMask
std::list< AuxPrinterPtr > auxPrinters
AuxPrinterPtr defaultAuxPrinter

Detailed Description

Definition at line 136 of file Registry.cpp.

Constructor & Destructor Documentation

Registry::Impl::Impl ( ) [inline]

Definition at line 143 of file Registry.cpp.

Field Documentation

PredicateMaskPtr Registry::Impl::auxGroundAtomMask

Definition at line 139 of file Registry.cpp.

std::list<AuxPrinterPtr> Registry::Impl::auxPrinters

Definition at line 140 of file Registry.cpp.

AuxiliaryStorage Registry::Impl::auxSymbols

Definition at line 138 of file Registry.cpp.

AuxPrinterPtr Registry::Impl::defaultAuxPrinter

Definition at line 141 of file Registry.cpp.

The documentation for this struct was generated from the following file: