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()
Constructor for CharSet.
|
CharSet(int initialSize,
int character)
Constructor for CharSet.
|
Modifier and Type | Method and Description |
---|---|
void |
add(int character)
Add the character to the set.
|
CharSetEnumerator |
characters()
Enumerates all characters.
|
boolean |
containsElements()
Returns whether the set contains elements.
|
boolean |
isElement(int character)
Returns whether the character belongs to the set.
|
private int |
nbits2size(int nbits) |
private void |
resize(int nbits) |
int |
size()
Number of characters in the set.
|
java.lang.String |
toString()
Returns a representation of this set.
|
static final int BITS
static final int MOD
long[] bits
private int numElements
public CharSet()
public CharSet(int initialSize, int character)
initialSize
- inital size.character
- character.public void add(int character)
character
- character.private int nbits2size(int nbits)
private void resize(int nbits)
public boolean isElement(int character)
character
- character.public CharSetEnumerator characters()
CharSetEnumerator
over all characters.public boolean containsElements()
public int size()
public java.lang.String toString()
toString
in class java.lang.Object
String
representation of this set.