UnCoVer (Using Coverability for Verification)
|
A hasher for pointers to IDPartions. More...
#include <IDPartitionEnumerator.h>
Public Member Functions | |
size_t | operator() (const IDPartition *s) const |
Takes a pointer to an IDPartition and returns a hash value. More... | |
A hasher for pointers to IDPartions.
|
inline |
Takes a pointer to an IDPartition and returns a hash value.
The hash value is computed from the contents of the IDPartition and not based on the pointer.
s | the pointer to the IDPartition to be hashed |