#include <common_defs.h>
Public Member Functions | |
std::size_t | operator() (const NrID &id) const |
Cantor pairing function. Ensures constant time access (no collisions).
Definition at line 55 of file common_defs.h.
std::size_t predicate_manager::cantor_pair_hash::operator() | ( | const NrID & | id | ) | const [inline] |
Definition at line 58 of file common_defs.h.