dlvhex
2.5.0
|
Base class for all Tables. More...
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Logger.h"
#include <boost/multi_index_container.hpp>
#include <boost/thread/shared_mutex.hpp>
Go to the source code of this file.
Data Structures | |
struct | impl::KindTag |
struct | impl::AddressTag |
struct | impl::TermTag |
struct | impl::PredicateNameTag |
struct | impl::ModuleNameTag |
struct | impl::TextTag |
struct | impl::TupleTag |
struct | impl::PredicateTag |
struct | impl::ElementTag |
struct | impl::InstTag |
class | Table< ValueT, IndexT > |
Implements a lookup table for custom key and value types. More... | |
Namespaces | |
namespace | impl |
Base class for all Tables.
Definition in file Table.h.