A hash function for pointers. More...
#include <misc/hash.hh>
A hash function for pointers.
References spot::knuth32_hash().