|
Clingo
|
Hasher for arrays of dynamic but fixed size. More...
#include <hash.hh>
Public Member Functions | |
| array_hash (size_t size) | |
| Initialize with the given size. | |
| template<class T > | |
| auto | operator() (T const *sym) const -> size_t |
| Get the hash of the symbol array. | |
Hasher for arrays of dynamic but fixed size.
The size must be given upon construction.