equal
deleted
inserted
replaced
1229 return StreamSupport.intStream( |
1229 return StreamSupport.intStream( |
1230 () -> Spliterators.spliterator( |
1230 () -> Spliterators.spliterator( |
1231 new BitSetIterator(), cardinality(), |
1231 new BitSetIterator(), cardinality(), |
1232 Spliterator.ORDERED | Spliterator.DISTINCT | Spliterator.SORTED), |
1232 Spliterator.ORDERED | Spliterator.DISTINCT | Spliterator.SORTED), |
1233 Spliterator.SIZED | Spliterator.SUBSIZED | |
1233 Spliterator.SIZED | Spliterator.SUBSIZED | |
1234 Spliterator.ORDERED | Spliterator.DISTINCT | Spliterator.SORTED); |
1234 Spliterator.ORDERED | Spliterator.DISTINCT | Spliterator.SORTED, |
|
1235 false); |
1235 } |
1236 } |
1236 } |
1237 } |