gov.nasa.jpf.util

Class BitSet64

java.lang.Object

gov.nasa.jpf.util.BitSet64

All Implemented Interfaces:

FixedBitSet, IntSet, Cloneable

public class BitSet64
extends Object
implements FixedBitSet, Cloneable, IntSet

Constructor Summary

Constructors

Constructor and Description
BitSet64()
BitSet64(int... idx)
BitSet64(int i)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(int i)
void	and(BitSet64 other)
void	andNot(BitSet64 other)
int	capacity()
int	cardinality()
void	clear()
void	clear(int i)
BitSet64	clone()
boolean	contains(int i)
boolean	equals(Object o) default implementation is just an identity check
boolean	get(int i)
long	getLong(int i)
void	hash(HashData hd)
int	hashCode() answer the same hashCodes as java.util.BitSet
IntIterator	intIterator()
boolean	isEmpty()
int	length() index of highest set bit + 1
int	longSize()
int	nextClearBit(int fromIdx)
int	nextSetBit(int fromIdx)
void	or(BitSet64 other)
boolean	remove(int i)
void	set(int i)
void	set(int i, boolean val)
int	size() number of bits we can store
String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BitSet64

public BitSet64()

BitSet64

public BitSet64(int i)

BitSet64

public BitSet64(int... idx)

Method Detail

longSize

public int longSize()

Specified by:

longSize in interface FixedBitSet

getLong

public long getLong(int i)

Specified by:

getLong in interface FixedBitSet

clone

public BitSet64 clone()

Specified by:

clone in interface FixedBitSet

Specified by:

clone in interface IntSet

Overrides:

clone in class Object

set

public void set(int i)

Specified by:

set in interface FixedBitSet

clear

public void clear(int i)

Specified by:

clear in interface FixedBitSet

set

public void set(int i,
       boolean val)

Specified by:

set in interface FixedBitSet

get

public boolean get(int i)

Specified by:

get in interface FixedBitSet

cardinality

public int cardinality()

Specified by:

cardinality in interface FixedBitSet

capacity

public int capacity()

Specified by:

capacity in interface FixedBitSet

size

public int size()

number of bits we can store

Specified by:

size in interface FixedBitSet

Specified by:

size in interface IntSet

length

public int length()

index of highest set bit + 1

Specified by:

length in interface FixedBitSet

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface FixedBitSet

Specified by:

isEmpty in interface IntSet

clear

public void clear()

Specified by:

clear in interface FixedBitSet

Specified by:

clear in interface IntSet

nextSetBit

public int nextSetBit(int fromIdx)

Specified by:

nextSetBit in interface FixedBitSet

nextClearBit

public int nextClearBit(int fromIdx)

Specified by:

nextClearBit in interface FixedBitSet

and

public void and(BitSet64 other)

andNot

public void andNot(BitSet64 other)

or

public void or(BitSet64 other)

equals

public boolean equals(Object o)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object

hash

public void hash(HashData hd)

hashCode

public int hashCode()

answer the same hashCodes as java.util.BitSet

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

add

public boolean add(int i)

Specified by:

add in interface IntSet

remove

public boolean remove(int i)

Specified by:

remove in interface IntSet

contains

public boolean contains(int i)

Specified by:

contains in interface IntSet

intIterator

public IntIterator intIterator()

Specified by:

intIterator in interface IntSet