alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/tgba/tgbatba.cc (state_tba_proxy::hash): Use wang32_hash.

Browse source 
* src/tgba/tgbaproduct.cc (state_product::hash): Likewise.
This commit is contained in:
Alexandre Duret-Lutz 2004-11-16 15:38:22 +00:00
parent dfb832cf20
commit ee5462105b
3 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgba/tgbaproduct.cc
View file

@ -22,6 +22,7 @@
#include "tgbaproduct.hh"
#include <string>
#include <cassert>
#include "misc/hashfunc.hh"
namespace spot
{
@ -56,8 +57,8 @@ namespace spot
size_t
state_product::hash() const
{
// We assume that size_t has at least 32bits.
return (left_->hash() << 16) + (right_->hash() & 0xFFFF);
// We assume that size_t is 32-bit wide.
return wang32_hash(left_->hash()) ^ wang32_hash(right_->hash());
}
state_product*