public final class StateSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) long[] |
bits |
(package private) static int |
BITS |
private boolean |
DEBUG |
static StateSet |
EMPTY |
(package private) static int |
MASK |
Constructor and Description |
---|
StateSet() |
StateSet(int size) |
StateSet(int size,
int state) |
StateSet(StateSet set) |
Modifier and Type | Method and Description |
---|---|
void |
add(StateSet set) |
void |
addState(int state) |
void |
clear() |
StateSet |
complement(StateSet set)
Returns the set of elements that contained are in the specified set
but are not contained in this set.
|
boolean |
containsElements() |
boolean |
containsSet(StateSet set) |
StateSet |
copy() |
void |
copy(StateSet set)
Copy specified StateSet into this.
|
boolean |
equals(java.lang.Object b) |
int |
getAndRemoveElement()
Returns one element of the set and removes it.
|
int |
hashCode() |
boolean |
isElement(int state) |
void |
remove(int state) |
private void |
resize(int size) |
private int |
size2nbits(int size) |
StateSetEnumerator |
states() |
java.lang.String |
toString() |
private final boolean DEBUG
public static final StateSet EMPTY
static final int BITS
static final int MASK
long[] bits
public StateSet()
public StateSet(int size)
public StateSet(int size, int state)
public StateSet(StateSet set)
public void addState(int state)
private int size2nbits(int size)
private void resize(int size)
public void clear()
public boolean isElement(int state)
public int getAndRemoveElement()
public void remove(int state)
public StateSet complement(StateSet set)
public void add(StateSet set)
public boolean containsSet(StateSet set)
public boolean equals(java.lang.Object b)
equals
in class java.lang.Object
java.lang.ClassCastException
- if b is not a StateSetjava.lang.NullPointerException
- if b is nullpublic int hashCode()
hashCode
in class java.lang.Object
public StateSetEnumerator states()
public boolean containsElements()
public StateSet copy()
public void copy(StateSet set)
set
- the state set to copy.public java.lang.String toString()
toString
in class java.lang.Object