gov.nasa.jpf.util

Class OATHash

java.lang.Object

gov.nasa.jpf.util.OATHash

public class OATHash
extends java.lang.Object

Bob Jenkins One-at-a-Time Hash (http://www.burtleburtle.net/bob/hash/doobs.html), a simple yet sufficiently avalanching hash that doesn't require a-priori knowledge of the key length and is much faster than lookup3

Constructor Summary

Constructors

Constructor and Description
OATHash()

Method Summary

Modifier and Type	Method and Description
static int	hash(int key)
static int	hash(int[] keys)
static int	hash(int key1, int key2)
static int	hash(int key1, int key2, int key3)
static int	hash(long key)
static int	hashFinalize(int h)
static int	hashMixin(int h, int key)
static int	hashMixin(int h, long key)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OATHash

public OATHash()

Method Detail

hashMixin

public static int hashMixin(int h,
                            int key)

hashMixin

public static int hashMixin(int h,
                            long key)

hashFinalize

public static int hashFinalize(int h)

hash

public static int hash(int key)

hash

public static int hash(int key1,
                       int key2)

hash

public static int hash(long key)

hash

public static int hash(int key1,
                       int key2,
                       int key3)

hash

public static int hash(int[] keys)