1 |
/* BitSet.java -- A vector of bits. |
/* BitSet.java -- A vector of bits. |
2 |
Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2000, 2001, 2004 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
735 |
bits = nd; |
bits = nd; |
736 |
} |
} |
737 |
} |
} |
738 |
|
|
739 |
|
// This is used by EnumSet for efficiency. |
740 |
|
final boolean containsAll(BitSet other) |
741 |
|
{ |
742 |
|
for (int i = bs.bits.length - 1; i >= 0; i--) |
743 |
|
{ |
744 |
|
if ((bits[i] & bs.bits[i]) != bs.bits[i]) |
745 |
|
return false; |
746 |
|
} |
747 |
|
return true; |
748 |
|
} |
749 |
} |
} |