FixedBitSet (JPF API)

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

All Superinterfaces:

Cloneable

All Known Implementing Classes:

BitSet1024, BitSet256, BitSet64
```
public interface FixedBitSet
extends Cloneable
```
BitSet like interface for fixed size bit sets

Method Summary

Methods
Modifier and Type	Method and Description
`int`	`capacity()`
`int`	`cardinality()`
`void`	`clear()`
`void`	`clear(int i)`
`FixedBitSet`	`clone()`
`boolean`	`get(int i)`
`long`	`getLong(int i)`
`boolean`	`isEmpty()`
`int`	`length()`
`int`	`longSize()`
`int`	`nextClearBit(int fromIndex)`
`int`	`nextSetBit(int fromIndex)`
`void`	`set(int i)`
`void`	`set(int i, boolean val)`
`int`	`size()`

Method Detail

set
```
void set(int i)
```

set
```
void set(int i,
       boolean val)
```

get
```
boolean get(int i)
```

clear
```
void clear(int i)
```

nextClearBit
```
int nextClearBit(int fromIndex)
```

nextSetBit
```
int nextSetBit(int fromIndex)
```

clone
```
FixedBitSet clone()
```

isEmpty
```
boolean isEmpty()
```

size
```
int size()
```

cardinality
```
int cardinality()
```

length
```
int length()
```

capacity
```
int capacity()
```

clear
```
void clear()
```

longSize
```
int longSize()
```

getLong
```
long getLong(int i)
```

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method