gov.nasa.jpf.vm

Class JenkinsStateSet

java.lang.Object

gov.nasa.jpf.vm.SerializingStateSet

gov.nasa.jpf.vm.JenkinsStateSet

All Implemented Interfaces:

StateSet

Direct Known Subclasses:

DebugJenkinsStateSet

public class JenkinsStateSet
extends SerializingStateSet

Implements StateSet based on Jenkins hashes.

Field Summary

Fields inherited from class gov.nasa.jpf.vm.SerializingStateSet

serializer

Fields inherited from interface gov.nasa.jpf.vm.StateSet

UNKNOWN_ID

Constructor Summary

Constructors

Constructor and Description
JenkinsStateSet()

Method Summary

Methods

Modifier and Type	Method and Description
int	add(int[] val)
static long	longLookup3Hash(int[] val)
static void	main(String[] args) Main for testing speed, mostly.
int	size() how many states already in the set.

Methods inherited from class gov.nasa.jpf.vm.SerializingStateSet

addCurrent, attach

Methods inherited from class java.lang.Object

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

Constructor Detail

JenkinsStateSet

public JenkinsStateSet()

Method Detail

size

public int size()

Description copied from interface: StateSet

how many states already in the set. also, index of next newly-added state.

longLookup3Hash

public static long longLookup3Hash(int[] val)

add

public int add(int[] val)

Specified by:

add in class SerializingStateSet

main

public static void main(String[] args)

Main for testing speed, mostly.