#ifndef _HASH_H
#define _HASH_H
/* Filename : hashCode.cvh
   Authors  : YYY, XXX
   Created  : 2023-12-26
   Modified : 2025-01-18

   This module specifies hash code functions that are needed by
   concurrent hash sets.  An implementation may define these in
   various ways: nondeterministic (with bounds), or specific concrete
   choices.

   For this projecct, all hash codes are assumed to be nonnegative.

   some Lab
   some division
   some institution
 */

/* Standard signature of hash code function on integers */
$atomic_f int hash_code(int x);

/* A dual hash code, which is equivalent to a pair of standard
   hash code functions; which can be either 0 or 1. */
$atomic_f int hash_code_dual(int x, int which);

/* A hash code function which takes a second argument, bound.  The
   hash code returned is guaranteed to be nonnegative and strictly
   less than bound. */
$atomic_f int hash_code_bound(int x, int bound);

/* A hash code function which is both dual and bounded.  The bound
   applies to both functions.  As usual, which can be 0 or 1. */
$atomic_f int hash_code_dual_bound(int x, int bound, int which);

#endif