souffle  2.0.2-371-g6315b36
Public Member Functions
souffle::RecordMap::RecordHash Struct Reference

hash function for unordered record map More...

Collaboration diagram for souffle::RecordMap::RecordHash:
Collaboration graph

Public Member Functions

std::size_t operator() (std::vector< RamDomain > record) const
 

Detailed Description

hash function for unordered record map

Definition at line 52 of file RecordTable.h.

Member Function Documentation

◆ operator()()

std::size_t souffle::RecordMap::RecordHash::operator() ( std::vector< RamDomain record) const
inline

Definition at line 53 of file RecordTable.h.

57  :
58  explicit RecordMap(size_t arity) : arity(arity), indexToRecord(1) {} // note: index 0 element left free
59 
60  /** @brief converts record to a record reference */

The documentation for this struct was generated from the following file:
souffle::RecordMap::indexToRecord
std::vector< std::vector< RamDomain > > indexToRecord
array of records; index represents record reference
Definition: RecordTable.h:69
souffle::RecordMap::RecordMap
RecordMap(size_t arity)
Definition: RecordTable.h:72
souffle::RecordMap::arity
const size_t arity
arity of record
Definition: RecordTable.h:49