gov.nasa.jpf.util

Class FinalBitSet

java.lang.Object

gov.nasa.jpf.util.FinalBitSet

public class FinalBitSet
extends java.lang.Object

Faster version of BitSet for those that never change.

Field Summary

Fields

Modifier and Type	Field and Description
static FinalBitSet	empty

Method Summary

Modifier and Type	Method and Description
static FinalBitSet	create(BitArray in) Creates a pooled FinalBitSet.
static FinalBitSet	create(byte[] in) Creates a pooled FinalBitSet.
boolean	equals(java.lang.Object o)
boolean	get(int idx)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

empty

public static final FinalBitSet empty

Method Detail

get

public final boolean get(int idx)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

create

public static FinalBitSet create(BitArray in)

Creates a pooled FinalBitSet.

create

public static FinalBitSet create(byte[] in)

Creates a pooled FinalBitSet.