gov.nasa.jpf.util

Class BitSet64

java.lang.Object

gov.nasa.jpf.util.BitSet64

All Implemented Interfaces:

FixedBitSet, IntSet, java.lang.Cloneable

public class BitSet64
extends java.lang.Object
implements java.lang.Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected int	cardinality

Constructor Summary

Constructors

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

Method Summary

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)
gov.nasa.jpf.util.AbstractFixedBitSet	clone()
boolean	contains(int i)
boolean	equals(java.lang.Object o)
boolean	get(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	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
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

cardinality

protected int cardinality

Constructor Detail

BitSet64

public BitSet64()

BitSet64

public BitSet64(int i)

BitSet64

public BitSet64(int... idx)

Method Detail

hash

public void hash(HashData hd)

Specified by:

hash in interface FixedBitSet

set

public void set(int i)

Specified by:

set in interface FixedBitSet

clear

public void clear(int i)

Specified by:

clear in interface FixedBitSet

get

public boolean get(int i)

Specified by:

get 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

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(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

answer the same hashCodes as java.util.BitSet

Overrides:

hashCode in class java.lang.Object

clone

public gov.nasa.jpf.util.AbstractFixedBitSet clone()

Specified by:

clone in interface FixedBitSet

Specified by:

clone in interface IntSet

Overrides:

clone in class java.lang.Object

set

public void set(int i,
                boolean val)

Specified by:

set in interface FixedBitSet

cardinality

public int cardinality()

Specified by:

cardinality in interface FixedBitSet

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface FixedBitSet

Specified by:

isEmpty in interface IntSet

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.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