UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | List of all members
IDPartitionPointerHasher Struct Reference

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...
 

Detailed Description

A hasher for pointers to IDPartions.

Member Function Documentation

size_t operator() ( const IDPartition s) const
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.

Parameters
sthe pointer to the IDPartition to be hashed
Returns
the hash value

The documentation for this struct was generated from the following files: