/*

 * Copyright 2016      Sven Verdoolaege

 *

 * Use of this software is governed by the MIT license

 *

 * Written by Sven Verdoolaege

 */

#include <isl_pw_macro.h>

#include <isl/hash.h>

/* Return a hash value that digests "pw".

 */

uint32_t FN(PW,get_hash)(__isl_keep PW *pw)

{

  int i;

  uint32_t hash;

  if (!pw)

    return 0;

  hash = isl_hash_init();

  for (i = 0; i < pw->n; ++i) {

    uint32_t set_hash, el_hash;

    set_hash = isl_set_get_hash(pw->p[i].set);

    isl_hash_hash(hash, set_hash);

    el_hash = FN(EL,get_hash)(pw->p[i].FIELD);

    isl_hash_hash(hash, el_hash);

  }

  return hash;

}