RecordTable.h File Reference

#include "souffle/RamTypes.h"
#include "souffle/utility/span.h"
#include <cassert>
#include <cstddef>
#include <limits>
#include <memory>
#include <unordered_map>
#include <utility>
#include <vector>

Include dependency graph for RecordTable.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	souffle::RecordMap::RecordHash
	hash function for unordered record map More...
class	souffle::RecordMap
	Bidirectional mappping between records and record references. More...
class	souffle::RecordTable

Namespaces
	souffle

Functions
template<std::size_t Arity>
RamDomain	souffle::pack (RecordTable &recordTab, span< const RamDomain, Arity > tuple)
	helper to convert tuple to record reference for the synthesiser More...
template<std::size_t Arity>
RamDomain	souffle::pack (RecordTable &recordTab, Tuple< RamDomain, Arity > const &tuple)
	helper to convert tuple to record reference for the synthesiser More...