include/dlvhex2/Registry.h File Reference

Registry for program objects, addressed by IDs, organized in individual tables. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/TermTable.h"
#include "dlvhex2/PredicateTable.h"
#include "dlvhex2/OrdinaryAtomTable.h"
#include "dlvhex2/BuiltinAtomTable.h"
#include "dlvhex2/AggregateAtomTable.h"
#include "dlvhex2/ExternalAtomTable.h"
#include "dlvhex2/ModuleAtomTable.h"
#include "dlvhex2/RuleTable.h"
#include "dlvhex2/ModuleTable.h"
#include <boost/scoped_ptr.hpp>
#include <boost/shared_ptr.hpp>
#include <boost/enable_shared_from_this.hpp>
#include <bm/bm.h>

Include dependency graph for Registry.h:

Go to the source code of this file.

Data Structures
class	AuxPrinter
	Registry Plugin for printing auxiliary IDs. More...
struct	Registry
	Registry for entities used in programs as IDs (collection of symbol tables) More...
Typedefs
typedef boost::shared_ptr < Registry >	RegistryPtr

---

Detailed Description

Registry for program objects, addressed by IDs, organized in individual tables.

Author:

Peter Schueller

Date:

Definition in file Registry.h.

---

Typedef Documentation

typedef boost::shared_ptr<Registry> RegistryPtr

Definition at line 518 of file Registry.h.