src/Registry.cpp File Reference

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

#include "dlvhex2/Registry.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/Error.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/Interpretation.h"
#include <boost/functional/hash.hpp>
#include <boost/unordered_map.hpp>
#include <boost/range/join.hpp>
#include <boost/foreach.hpp>
#include <boost/lexical_cast.hpp>
#include <boost/bimap/bimap.hpp>

Include dependency graph for Registry.cpp:

Go to the source code of this file.

Data Structures
struct	DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
struct	DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue
struct	Registry::Impl
Namespaces
namespace	DLVHEX_NAMESPACE_BEGIN
	for one eval unit, we transform the rules (idb) independent of input interpretations as follows: * replace all external atoms with eatom replacements
Typedefs
typedef boost::bimaps::bimap < AuxiliaryKey, AuxiliaryValue >	DLVHEX_NAMESPACE_BEGIN::AuxiliaryStorage
typedef AuxiliaryStorage::value_type	DLVHEX_NAMESPACE_BEGIN::AuxiliaryStorageTranslation
Functions
std::size_t	DLVHEX_NAMESPACE_BEGIN::hash_value (const AuxiliaryKey &key)

---

Detailed Description

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

Author:

Peter Schueller

Date:

Definition in file Registry.cpp.