public final class CharSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) long[] |
bits |
(package private) static int |
BITS |
(package private) static int |
MOD |
private int |
numElements |
Constructor and Description |
---|
CharSet() |
CharSet(int initialSize,
int character) |
Modifier and Type | Method and Description |
---|---|
void |
add(int character) |
CharSetEnumerator |
characters() |
boolean |
containsElements() |
boolean |
isElement(int character) |
private int |
nbits2size(int nbits) |
private void |
resize(int nbits) |
int |
size() |
java.lang.String |
toString() |
static final int BITS
static final int MOD
long[] bits
private int numElements
public void add(int character)
private int nbits2size(int nbits)
private void resize(int nbits)
public boolean isElement(int character)
public CharSetEnumerator characters()
public boolean containsElements()
public int size()
public java.lang.String toString()
toString
in class java.lang.Object