1use std::marker::PhantomData;
2use std::ops::{Bound, Range, RangeBounds};
3use std::rc::Rc;
4use std::{fmt, iter, slice};
5
6use Chunk::*;
7#[cfg(feature = "nightly")]
8use rustc_macros::{Decodable_NoContext, Encodable_NoContext};
9
10use crate::{Idx, IndexVec};
11
12#[cfg(test)]
13mod tests;
14
15type Word = u64;
16const WORD_BYTES: usize = size_of::<Word>();
17const WORD_BITS: usize = WORD_BYTES * 8;
18
19const CHUNK_WORDS: usize = 32;
30const CHUNK_BITS: usize = CHUNK_WORDS * WORD_BITS; type ChunkSize = u16;
35const _: () = if !(CHUNK_BITS <= ChunkSize::MAX as usize) {
::core::panicking::panic("assertion failed: CHUNK_BITS <= ChunkSize::MAX as usize")
}assert!(CHUNK_BITS <= ChunkSize::MAX as usize);
36
37pub trait BitRelations<Rhs> {
38 fn union(&mut self, other: &Rhs) -> bool;
39 fn subtract(&mut self, other: &Rhs) -> bool;
40 fn intersect(&mut self, other: &Rhs) -> bool;
41}
42
43#[inline]
44fn inclusive_start_end<T: Idx>(
45 range: impl RangeBounds<T>,
46 domain: usize,
47) -> Option<(usize, usize)> {
48 let start = match range.start_bound().cloned() {
50 Bound::Included(start) => start.index(),
51 Bound::Excluded(start) => start.index() + 1,
52 Bound::Unbounded => 0,
53 };
54 let end = match range.end_bound().cloned() {
55 Bound::Included(end) => end.index(),
56 Bound::Excluded(end) => end.index().checked_sub(1)?,
57 Bound::Unbounded => domain - 1,
58 };
59 if !(end < domain) {
::core::panicking::panic("assertion failed: end < domain")
};assert!(end < domain);
60 if start > end {
61 return None;
62 }
63 Some((start, end))
64}
65
66macro_rules! bit_relations_inherent_impls {
67 () => {
68 pub fn union<Rhs>(&mut self, other: &Rhs) -> bool
71 where
72 Self: BitRelations<Rhs>,
73 {
74 <Self as BitRelations<Rhs>>::union(self, other)
75 }
76
77 pub fn subtract<Rhs>(&mut self, other: &Rhs) -> bool
80 where
81 Self: BitRelations<Rhs>,
82 {
83 <Self as BitRelations<Rhs>>::subtract(self, other)
84 }
85
86 pub fn intersect<Rhs>(&mut self, other: &Rhs) -> bool
89 where
90 Self: BitRelations<Rhs>,
91 {
92 <Self as BitRelations<Rhs>>::intersect(self, other)
93 }
94 };
95}
96
97#[cfg_attr(feature = "nightly", derive(const _: () =
{
impl<T, __D: ::rustc_serialize::Decoder>
::rustc_serialize::Decodable<__D> for DenseBitSet<T> where
PhantomData<T>: ::rustc_serialize::Decodable<__D> {
fn decode(__decoder: &mut __D) -> Self {
DenseBitSet {
domain_size: ::rustc_serialize::Decodable::decode(__decoder),
words: ::rustc_serialize::Decodable::decode(__decoder),
marker: ::rustc_serialize::Decodable::decode(__decoder),
}
}
}
};Decodable_NoContext, const _: () =
{
impl<T, __E: ::rustc_serialize::Encoder>
::rustc_serialize::Encodable<__E> for DenseBitSet<T> where
PhantomData<T>: ::rustc_serialize::Encodable<__E> {
fn encode(&self, __encoder: &mut __E) {
match *self {
DenseBitSet {
domain_size: ref __binding_0,
words: ref __binding_1,
marker: ref __binding_2 } => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_2,
__encoder);
}
}
}
}
};Encodable_NoContext))]
115#[derive(#[automatically_derived]
impl<T: ::core::cmp::Eq> ::core::cmp::Eq for DenseBitSet<T> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<usize>;
let _: ::core::cmp::AssertParamIsEq<Vec<Word>>;
let _: ::core::cmp::AssertParamIsEq<PhantomData<T>>;
}
}Eq, #[automatically_derived]
impl<T: ::core::cmp::PartialEq> ::core::cmp::PartialEq for DenseBitSet<T> {
#[inline]
fn eq(&self, other: &DenseBitSet<T>) -> bool {
self.domain_size == other.domain_size && self.words == other.words &&
self.marker == other.marker
}
}PartialEq, #[automatically_derived]
impl<T: ::core::hash::Hash> ::core::hash::Hash for DenseBitSet<T> {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.domain_size, state);
::core::hash::Hash::hash(&self.words, state);
::core::hash::Hash::hash(&self.marker, state)
}
}Hash)]
116pub struct DenseBitSet<T> {
117 domain_size: usize,
118 words: Vec<Word>,
119 marker: PhantomData<T>,
120}
121
122impl<T> DenseBitSet<T> {
123 pub fn domain_size(&self) -> usize {
125 self.domain_size
126 }
127}
128
129impl<T: Idx> DenseBitSet<T> {
130 #[inline]
132 pub fn new_empty(domain_size: usize) -> DenseBitSet<T> {
133 let num_words = num_words(domain_size);
134 DenseBitSet { domain_size, words: ::alloc::vec::from_elem(0, num_words)vec![0; num_words], marker: PhantomData }
135 }
136
137 #[inline]
139 pub fn new_filled(domain_size: usize) -> DenseBitSet<T> {
140 let num_words = num_words(domain_size);
141 let mut result =
142 DenseBitSet { domain_size, words: ::alloc::vec::from_elem(!0, num_words)vec![!0; num_words], marker: PhantomData };
143 result.clear_excess_bits();
144 result
145 }
146
147 #[inline]
149 pub fn clear(&mut self) {
150 self.words.fill(0);
151 }
152
153 fn clear_excess_bits(&mut self) {
155 clear_excess_bits_in_final_word(self.domain_size, &mut self.words);
156 }
157
158 pub fn count(&self) -> usize {
160 count_ones(&self.words)
161 }
162
163 #[inline]
165 pub fn contains(&self, elem: T) -> bool {
166 if !(elem.index() < self.domain_size) {
::core::panicking::panic("assertion failed: elem.index() < self.domain_size")
};assert!(elem.index() < self.domain_size);
167 let (word_index, mask) = word_index_and_mask(elem);
168 (self.words[word_index] & mask) != 0
169 }
170
171 #[inline]
173 pub fn superset(&self, other: &DenseBitSet<T>) -> bool {
174 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
175 self.words.iter().zip(&other.words).all(|(a, b)| (a & b) == *b)
176 }
177
178 #[inline]
180 pub fn is_empty(&self) -> bool {
181 self.words.iter().all(|a| *a == 0)
182 }
183
184 #[inline]
186 pub fn insert(&mut self, elem: T) -> bool {
187 if !(elem.index() < self.domain_size) {
{
::core::panicking::panic_fmt(format_args!("inserting element at index {0} but domain size is {1}",
elem.index(), self.domain_size));
}
};assert!(
188 elem.index() < self.domain_size,
189 "inserting element at index {} but domain size is {}",
190 elem.index(),
191 self.domain_size,
192 );
193 let (word_index, mask) = word_index_and_mask(elem);
194 let word_ref = &mut self.words[word_index];
195 let word = *word_ref;
196 let new_word = word | mask;
197 *word_ref = new_word;
198 new_word != word
199 }
200
201 #[inline]
202 pub fn insert_range(&mut self, elems: impl RangeBounds<T>) {
203 let Some((start, end)) = inclusive_start_end(elems, self.domain_size) else {
204 return;
205 };
206
207 let (start_word_index, start_mask) = word_index_and_mask(start);
208 let (end_word_index, end_mask) = word_index_and_mask(end);
209
210 for word_index in (start_word_index + 1)..end_word_index {
212 self.words[word_index] = !0;
213 }
214
215 if start_word_index != end_word_index {
216 self.words[start_word_index] |= !(start_mask - 1);
220 self.words[end_word_index] |= end_mask | (end_mask - 1);
223 } else {
224 self.words[start_word_index] |= end_mask | (end_mask - start_mask);
225 }
226 }
227
228 pub fn insert_all(&mut self) {
230 self.words.fill(!0);
231 self.clear_excess_bits();
232 }
233
234 #[inline]
236 pub fn contains_any(&self, elems: impl RangeBounds<T>) -> bool {
237 let Some((start, end)) = inclusive_start_end(elems, self.domain_size) else {
238 return false;
239 };
240 let (start_word_index, start_mask) = word_index_and_mask(start);
241 let (end_word_index, end_mask) = word_index_and_mask(end);
242
243 if start_word_index == end_word_index {
244 self.words[start_word_index] & (end_mask | (end_mask - start_mask)) != 0
245 } else {
246 if self.words[start_word_index] & !(start_mask - 1) != 0 {
247 return true;
248 }
249
250 let remaining = start_word_index + 1..end_word_index;
251 if remaining.start <= remaining.end {
252 self.words[remaining].iter().any(|&w| w != 0)
253 || self.words[end_word_index] & (end_mask | (end_mask - 1)) != 0
254 } else {
255 false
256 }
257 }
258 }
259
260 #[inline]
262 pub fn remove(&mut self, elem: T) -> bool {
263 if !(elem.index() < self.domain_size) {
::core::panicking::panic("assertion failed: elem.index() < self.domain_size")
};assert!(elem.index() < self.domain_size);
264 let (word_index, mask) = word_index_and_mask(elem);
265 let word_ref = &mut self.words[word_index];
266 let word = *word_ref;
267 let new_word = word & !mask;
268 *word_ref = new_word;
269 new_word != word
270 }
271
272 #[inline]
274 pub fn iter(&self) -> BitIter<'_, T> {
275 BitIter::new(&self.words)
276 }
277
278 pub fn last_set_in(&self, range: impl RangeBounds<T>) -> Option<T> {
279 let (start, end) = inclusive_start_end(range, self.domain_size)?;
280 let (start_word_index, _) = word_index_and_mask(start);
281 let (end_word_index, end_mask) = word_index_and_mask(end);
282
283 let end_word = self.words[end_word_index] & (end_mask | (end_mask - 1));
284 if end_word != 0 {
285 let pos = max_bit(end_word) + WORD_BITS * end_word_index;
286 if start <= pos {
287 return Some(T::new(pos));
288 }
289 }
290
291 if let Some(offset) =
295 self.words[start_word_index..end_word_index].iter().rposition(|&w| w != 0)
296 {
297 let word_idx = start_word_index + offset;
298 let start_word = self.words[word_idx];
299 let pos = max_bit(start_word) + WORD_BITS * word_idx;
300 if start <= pos {
301 return Some(T::new(pos));
302 }
303 }
304
305 None
306 }
307
308 self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::union(self, other);
Self
Rhs
&mut Self
self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::subtract(self, other);
Self
Rhs
&mut Self
self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::intersect(self, other);bit_relations_inherent_impls! {}
309
310 pub fn union_not(&mut self, other: &DenseBitSet<T>) {
315 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
316
317 bitwise(&mut self.words, &other.words, |a, b| a | !b);
323 self.clear_excess_bits();
326 }
327}
328
329impl<T: Idx> BitRelations<DenseBitSet<T>> for DenseBitSet<T> {
331 fn union(&mut self, other: &DenseBitSet<T>) -> bool {
332 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
333 bitwise(&mut self.words, &other.words, |a, b| a | b)
334 }
335
336 fn subtract(&mut self, other: &DenseBitSet<T>) -> bool {
337 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
338 bitwise(&mut self.words, &other.words, |a, b| a & !b)
339 }
340
341 fn intersect(&mut self, other: &DenseBitSet<T>) -> bool {
342 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
343 bitwise(&mut self.words, &other.words, |a, b| a & b)
344 }
345}
346
347impl<T: Idx> From<GrowableBitSet<T>> for DenseBitSet<T> {
348 fn from(bit_set: GrowableBitSet<T>) -> Self {
349 bit_set.bit_set
350 }
351}
352
353impl<T> Clone for DenseBitSet<T> {
354 fn clone(&self) -> Self {
355 DenseBitSet {
356 domain_size: self.domain_size,
357 words: self.words.clone(),
358 marker: PhantomData,
359 }
360 }
361
362 fn clone_from(&mut self, from: &Self) {
363 self.domain_size = from.domain_size;
364 self.words.clone_from(&from.words);
365 }
366}
367
368impl<T: Idx> fmt::Debug for DenseBitSet<T> {
369 fn fmt(&self, w: &mut fmt::Formatter<'_>) -> fmt::Result {
370 w.debug_list().entries(self.iter()).finish()
371 }
372}
373
374impl<T: Idx> ToString for DenseBitSet<T> {
375 fn to_string(&self) -> String {
376 let mut result = String::new();
377 let mut sep = '[';
378
379 let mut i = 0;
383 for word in &self.words {
384 let mut word = *word;
385 for _ in 0..WORD_BYTES {
386 let remain = self.domain_size - i;
388 let mask = if remain <= 8 { (1 << remain) - 1 } else { 0xFF };
390 if !(mask <= 0xFF) {
::core::panicking::panic("assertion failed: mask <= 0xFF")
};assert!(mask <= 0xFF);
391 let byte = word & mask;
392
393 result.push_str(&::alloc::__export::must_use({
::alloc::fmt::format(format_args!("{0}{1:02x}", sep, byte))
})format!("{sep}{byte:02x}"));
394
395 if remain <= 8 {
396 break;
397 }
398 word >>= 8;
399 i += 8;
400 sep = '-';
401 }
402 sep = '|';
403 }
404 result.push(']');
405
406 result
407 }
408}
409
410pub struct BitIter<'a, T: Idx> {
411 word: Word,
415
416 offset: usize,
418
419 iter: slice::Iter<'a, Word>,
421
422 marker: PhantomData<T>,
423}
424
425impl<'a, T: Idx> BitIter<'a, T> {
426 #[inline]
427 fn new(words: &'a [Word]) -> BitIter<'a, T> {
428 BitIter {
434 word: 0,
435 offset: usize::MAX - (WORD_BITS - 1),
436 iter: words.iter(),
437 marker: PhantomData,
438 }
439 }
440}
441
442impl<'a, T: Idx> Iterator for BitIter<'a, T> {
443 type Item = T;
444 fn next(&mut self) -> Option<T> {
445 loop {
446 if self.word != 0 {
447 let bit_pos = self.word.trailing_zeros() as usize;
450 self.word ^= 1 << bit_pos;
451 return Some(T::new(bit_pos + self.offset));
452 }
453
454 self.word = *self.iter.next()?;
457 self.offset = self.offset.wrapping_add(WORD_BITS);
458 }
459 }
460}
461
462#[derive(#[automatically_derived]
impl<T: ::core::cmp::PartialEq> ::core::cmp::PartialEq for ChunkedBitSet<T> {
#[inline]
fn eq(&self, other: &ChunkedBitSet<T>) -> bool {
self.domain_size == other.domain_size && self.chunks == other.chunks
&& self.marker == other.marker
}
}PartialEq, #[automatically_derived]
impl<T: ::core::cmp::Eq> ::core::cmp::Eq for ChunkedBitSet<T> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<usize>;
let _: ::core::cmp::AssertParamIsEq<Box<[Chunk]>>;
let _: ::core::cmp::AssertParamIsEq<PhantomData<T>>;
}
}Eq)]
481pub struct ChunkedBitSet<T> {
482 domain_size: usize,
483
484 chunks: Box<[Chunk]>,
487
488 marker: PhantomData<T>,
489}
490
491#[derive(#[automatically_derived]
impl ::core::clone::Clone for Chunk {
#[inline]
fn clone(&self) -> Chunk {
match self {
Chunk::Zeros { chunk_domain_size: __self_0 } =>
Chunk::Zeros {
chunk_domain_size: ::core::clone::Clone::clone(__self_0),
},
Chunk::Ones { chunk_domain_size: __self_0 } =>
Chunk::Ones {
chunk_domain_size: ::core::clone::Clone::clone(__self_0),
},
Chunk::Mixed {
chunk_domain_size: __self_0,
ones_count: __self_1,
words: __self_2 } =>
Chunk::Mixed {
chunk_domain_size: ::core::clone::Clone::clone(__self_0),
ones_count: ::core::clone::Clone::clone(__self_1),
words: ::core::clone::Clone::clone(__self_2),
},
}
}
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for Chunk {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
Chunk::Zeros { chunk_domain_size: __self_0 } =>
::core::fmt::Formatter::debug_struct_field1_finish(f, "Zeros",
"chunk_domain_size", &__self_0),
Chunk::Ones { chunk_domain_size: __self_0 } =>
::core::fmt::Formatter::debug_struct_field1_finish(f, "Ones",
"chunk_domain_size", &__self_0),
Chunk::Mixed {
chunk_domain_size: __self_0,
ones_count: __self_1,
words: __self_2 } =>
::core::fmt::Formatter::debug_struct_field3_finish(f, "Mixed",
"chunk_domain_size", __self_0, "ones_count", __self_1,
"words", &__self_2),
}
}
}Debug, #[automatically_derived]
impl ::core::cmp::PartialEq for Chunk {
#[inline]
fn eq(&self, other: &Chunk) -> bool {
let __self_discr = ::core::intrinsics::discriminant_value(self);
let __arg1_discr = ::core::intrinsics::discriminant_value(other);
__self_discr == __arg1_discr &&
match (self, other) {
(Chunk::Zeros { chunk_domain_size: __self_0 }, Chunk::Zeros {
chunk_domain_size: __arg1_0 }) => __self_0 == __arg1_0,
(Chunk::Ones { chunk_domain_size: __self_0 }, Chunk::Ones {
chunk_domain_size: __arg1_0 }) => __self_0 == __arg1_0,
(Chunk::Mixed {
chunk_domain_size: __self_0,
ones_count: __self_1,
words: __self_2 }, Chunk::Mixed {
chunk_domain_size: __arg1_0,
ones_count: __arg1_1,
words: __arg1_2 }) =>
__self_0 == __arg1_0 && __self_1 == __arg1_1 &&
__self_2 == __arg1_2,
_ => unsafe { ::core::intrinsics::unreachable() }
}
}
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for Chunk {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<ChunkSize>;
let _: ::core::cmp::AssertParamIsEq<Rc<[Word; CHUNK_WORDS]>>;
}
}Eq)]
496enum Chunk {
497 Zeros { chunk_domain_size: ChunkSize },
499
500 Ones { chunk_domain_size: ChunkSize },
502
503 Mixed {
517 chunk_domain_size: ChunkSize,
518 ones_count: ChunkSize,
525 words: Rc<[Word; CHUNK_WORDS]>,
526 },
527}
528
529#[cfg(target_pointer_width = "64")]
531const _: [(); 16] = [(); ::std::mem::size_of::<Chunk>()];crate::static_assert_size!(Chunk, 16);
532
533impl<T> ChunkedBitSet<T> {
534 pub fn domain_size(&self) -> usize {
535 self.domain_size
536 }
537
538 #[cfg(test)]
539 fn assert_valid(&self) {
540 if self.domain_size == 0 {
541 assert!(self.chunks.is_empty());
542 return;
543 }
544
545 assert!((self.chunks.len() - 1) * CHUNK_BITS <= self.domain_size);
546 assert!(self.chunks.len() * CHUNK_BITS >= self.domain_size);
547 for chunk in self.chunks.iter() {
548 chunk.assert_valid();
549 }
550 }
551}
552
553impl<T: Idx> ChunkedBitSet<T> {
554 fn new(domain_size: usize, is_empty: bool) -> Self {
556 let chunks = if domain_size == 0 {
557 Box::new([])
558 } else {
559 let num_chunks = domain_size.index().div_ceil(CHUNK_BITS);
560 let mut last_chunk_domain_size = domain_size % CHUNK_BITS;
561 if last_chunk_domain_size == 0 {
562 last_chunk_domain_size = CHUNK_BITS;
563 };
564
565 let (normal_chunk, final_chunk) = if is_empty {
568 (
569 Zeros { chunk_domain_size: CHUNK_BITS as ChunkSize },
570 Zeros { chunk_domain_size: last_chunk_domain_size as ChunkSize },
571 )
572 } else {
573 (
574 Ones { chunk_domain_size: CHUNK_BITS as ChunkSize },
575 Ones { chunk_domain_size: last_chunk_domain_size as ChunkSize },
576 )
577 };
578 let mut chunks = ::alloc::vec::from_elem(normal_chunk, num_chunks)vec![normal_chunk; num_chunks].into_boxed_slice();
579 *chunks.as_mut().last_mut().unwrap() = final_chunk;
580 chunks
581 };
582 ChunkedBitSet { domain_size, chunks, marker: PhantomData }
583 }
584
585 #[inline]
587 pub fn new_empty(domain_size: usize) -> Self {
588 ChunkedBitSet::new(domain_size, true)
589 }
590
591 #[inline]
593 pub fn new_filled(domain_size: usize) -> Self {
594 ChunkedBitSet::new(domain_size, false)
595 }
596
597 pub fn clear(&mut self) {
598 *self = ChunkedBitSet::new_empty(self.domain_size);
600 }
601
602 #[cfg(test)]
603 fn chunks(&self) -> &[Chunk] {
604 &self.chunks
605 }
606
607 pub fn count(&self) -> usize {
609 self.chunks.iter().map(|chunk| chunk.count()).sum()
610 }
611
612 pub fn is_empty(&self) -> bool {
613 self.chunks.iter().all(|chunk| #[allow(non_exhaustive_omitted_patterns)] match chunk {
Zeros { .. } => true,
_ => false,
}matches!(chunk, Zeros { .. }))
614 }
615
616 #[inline]
618 pub fn contains(&self, elem: T) -> bool {
619 if !(elem.index() < self.domain_size) {
::core::panicking::panic("assertion failed: elem.index() < self.domain_size")
};assert!(elem.index() < self.domain_size);
620 let chunk = &self.chunks[chunk_index(elem)];
621 match &chunk {
622 Zeros { .. } => false,
623 Ones { .. } => true,
624 Mixed { words, .. } => {
625 let (word_index, mask) = chunk_word_index_and_mask(elem);
626 (words[word_index] & mask) != 0
627 }
628 }
629 }
630
631 #[inline]
632 pub fn iter(&self) -> ChunkedBitIter<'_, T> {
633 ChunkedBitIter::new(self)
634 }
635
636 pub fn insert(&mut self, elem: T) -> bool {
638 if !(elem.index() < self.domain_size) {
::core::panicking::panic("assertion failed: elem.index() < self.domain_size")
};assert!(elem.index() < self.domain_size);
639 let chunk_index = chunk_index(elem);
640 let chunk = &mut self.chunks[chunk_index];
641 match *chunk {
642 Zeros { chunk_domain_size } => {
643 if chunk_domain_size > 1 {
644 let mut words = {
645 let words = Rc::<[Word; CHUNK_WORDS]>::new_zeroed();
647 unsafe { words.assume_init() }
649 };
650 let words_ref = Rc::get_mut(&mut words).unwrap();
651
652 let (word_index, mask) = chunk_word_index_and_mask(elem);
653 words_ref[word_index] |= mask;
654 *chunk = Mixed { chunk_domain_size, ones_count: 1, words };
655 } else {
656 *chunk = Ones { chunk_domain_size };
657 }
658 true
659 }
660 Ones { .. } => false,
661 Mixed { chunk_domain_size, ref mut ones_count, ref mut words } => {
662 let (word_index, mask) = chunk_word_index_and_mask(elem);
664 if (words[word_index] & mask) == 0 {
665 *ones_count += 1;
666 if *ones_count < chunk_domain_size {
667 let words = Rc::make_mut(words);
668 words[word_index] |= mask;
669 } else {
670 *chunk = Ones { chunk_domain_size };
671 }
672 true
673 } else {
674 false
675 }
676 }
677 }
678 }
679
680 pub fn insert_all(&mut self) {
682 *self = ChunkedBitSet::new_filled(self.domain_size);
684 }
685
686 pub fn remove(&mut self, elem: T) -> bool {
688 if !(elem.index() < self.domain_size) {
::core::panicking::panic("assertion failed: elem.index() < self.domain_size")
};assert!(elem.index() < self.domain_size);
689 let chunk_index = chunk_index(elem);
690 let chunk = &mut self.chunks[chunk_index];
691 match *chunk {
692 Zeros { .. } => false,
693 Ones { chunk_domain_size } => {
694 if chunk_domain_size > 1 {
695 let mut words = {
696 let words = Rc::<[Word; CHUNK_WORDS]>::new_zeroed();
698 unsafe { words.assume_init() }
700 };
701 let words_ref = Rc::get_mut(&mut words).unwrap();
702
703 let num_words = num_words(chunk_domain_size as usize);
705 words_ref[..num_words].fill(!0);
706 clear_excess_bits_in_final_word(
707 chunk_domain_size as usize,
708 &mut words_ref[..num_words],
709 );
710 let (word_index, mask) = chunk_word_index_and_mask(elem);
711 words_ref[word_index] &= !mask;
712 *chunk = Mixed { chunk_domain_size, ones_count: chunk_domain_size - 1, words };
713 } else {
714 *chunk = Zeros { chunk_domain_size };
715 }
716 true
717 }
718 Mixed { chunk_domain_size, ref mut ones_count, ref mut words } => {
719 let (word_index, mask) = chunk_word_index_and_mask(elem);
721 if (words[word_index] & mask) != 0 {
722 *ones_count -= 1;
723 if *ones_count > 0 {
724 let words = Rc::make_mut(words);
725 words[word_index] &= !mask;
726 } else {
727 *chunk = Zeros { chunk_domain_size }
728 }
729 true
730 } else {
731 false
732 }
733 }
734 }
735 }
736
737 fn chunk_iter(&self, chunk_index: usize) -> ChunkIter<'_> {
738 match self.chunks.get(chunk_index) {
739 Some(Zeros { .. }) => ChunkIter::Zeros,
740 Some(Ones { chunk_domain_size }) => ChunkIter::Ones(0..*chunk_domain_size as usize),
741 Some(Mixed { chunk_domain_size, words, .. }) => {
742 let num_words = num_words(*chunk_domain_size as usize);
743 ChunkIter::Mixed(BitIter::new(&words[0..num_words]))
744 }
745 None => ChunkIter::Finished,
746 }
747 }
748
749 self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::union(self, other);
Self
Rhs
&mut Self
self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::subtract(self, other);
Self
Rhs
&mut Self
self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::intersect(self, other);bit_relations_inherent_impls! {}
750}
751
752impl<T: Idx> BitRelations<ChunkedBitSet<T>> for ChunkedBitSet<T> {
753 fn union(&mut self, other: &ChunkedBitSet<T>) -> bool {
754 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
755
756 let mut changed = false;
757 for (mut self_chunk, other_chunk) in self.chunks.iter_mut().zip(other.chunks.iter()) {
758 match (&mut self_chunk, &other_chunk) {
759 (_, Zeros { .. }) | (Ones { .. }, _) => {}
760 (Zeros { .. }, _) | (Mixed { .. }, Ones { .. }) => {
761 *self_chunk = other_chunk.clone();
763 changed = true;
764 }
765 (
766 Mixed {
767 chunk_domain_size,
768 ones_count: self_chunk_ones_count,
769 words: self_chunk_words,
770 },
771 Mixed { words: other_chunk_words, .. },
772 ) => {
773 let num_words = num_words(*chunk_domain_size as usize);
779
780 if self_chunk_words[0..num_words] == other_chunk_words[0..num_words] {
784 continue;
785 }
786
787 let op = |a, b| a | b;
790 if !bitwise_changes(
791 &self_chunk_words[0..num_words],
792 &other_chunk_words[0..num_words],
793 op,
794 ) {
795 continue;
796 }
797
798 let self_chunk_words = Rc::make_mut(self_chunk_words);
800 let has_changed = bitwise(
801 &mut self_chunk_words[0..num_words],
802 &other_chunk_words[0..num_words],
803 op,
804 );
805 if true {
if !has_changed {
::core::panicking::panic("assertion failed: has_changed")
};
};debug_assert!(has_changed);
806 *self_chunk_ones_count =
807 count_ones(&self_chunk_words[0..num_words]) as ChunkSize;
808 if *self_chunk_ones_count == *chunk_domain_size {
809 *self_chunk = Ones { chunk_domain_size: *chunk_domain_size };
810 }
811 changed = true;
812 }
813 }
814 }
815 changed
816 }
817
818 fn subtract(&mut self, other: &ChunkedBitSet<T>) -> bool {
819 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
820
821 let mut changed = false;
822 for (mut self_chunk, other_chunk) in self.chunks.iter_mut().zip(other.chunks.iter()) {
823 match (&mut self_chunk, &other_chunk) {
824 (Zeros { .. }, _) | (_, Zeros { .. }) => {}
825 (Ones { chunk_domain_size } | Mixed { chunk_domain_size, .. }, Ones { .. }) => {
826 changed = true;
827 *self_chunk = Zeros { chunk_domain_size: *chunk_domain_size };
828 }
829 (
830 Ones { chunk_domain_size },
831 Mixed { ones_count: other_chunk_ones_count, words: other_chunk_words, .. },
832 ) => {
833 changed = true;
834 let num_words = num_words(*chunk_domain_size as usize);
835 if true {
if !(num_words > 0 && num_words <= CHUNK_WORDS) {
::core::panicking::panic("assertion failed: num_words > 0 && num_words <= CHUNK_WORDS")
};
};debug_assert!(num_words > 0 && num_words <= CHUNK_WORDS);
836 let mut self_chunk_words = **other_chunk_words;
839 for word in self_chunk_words[0..num_words].iter_mut() {
840 *word = !*word;
841 }
842 clear_excess_bits_in_final_word(
843 *chunk_domain_size as usize,
844 &mut self_chunk_words[..num_words],
845 );
846 let self_chunk_ones_count = *chunk_domain_size - *other_chunk_ones_count;
847 if true {
match (&self_chunk_ones_count,
&(count_ones(&self_chunk_words[0..num_words]) as ChunkSize)) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val,
&*right_val, ::core::option::Option::None);
}
}
};
};debug_assert_eq!(
848 self_chunk_ones_count,
849 count_ones(&self_chunk_words[0..num_words]) as ChunkSize
850 );
851 *self_chunk = Mixed {
852 chunk_domain_size: *chunk_domain_size,
853 ones_count: self_chunk_ones_count,
854 words: Rc::new(self_chunk_words),
855 };
856 }
857 (
858 Mixed {
859 chunk_domain_size,
860 ones_count: self_chunk_ones_count,
861 words: self_chunk_words,
862 },
863 Mixed { words: other_chunk_words, .. },
864 ) => {
865 let num_words = num_words(*chunk_domain_size as usize);
867 let op = |a: Word, b: Word| a & !b;
868 if !bitwise_changes(
869 &self_chunk_words[0..num_words],
870 &other_chunk_words[0..num_words],
871 op,
872 ) {
873 continue;
874 }
875
876 let self_chunk_words = Rc::make_mut(self_chunk_words);
877 let has_changed = bitwise(
878 &mut self_chunk_words[0..num_words],
879 &other_chunk_words[0..num_words],
880 op,
881 );
882 if true {
if !has_changed {
::core::panicking::panic("assertion failed: has_changed")
};
};debug_assert!(has_changed);
883 *self_chunk_ones_count =
884 count_ones(&self_chunk_words[0..num_words]) as ChunkSize;
885 if *self_chunk_ones_count == 0 {
886 *self_chunk = Zeros { chunk_domain_size: *chunk_domain_size };
887 }
888 changed = true;
889 }
890 }
891 }
892 changed
893 }
894
895 fn intersect(&mut self, other: &ChunkedBitSet<T>) -> bool {
896 match (&self.domain_size, &other.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, other.domain_size);
897
898 let mut changed = false;
899 for (mut self_chunk, other_chunk) in self.chunks.iter_mut().zip(other.chunks.iter()) {
900 match (&mut self_chunk, &other_chunk) {
901 (Zeros { .. }, _) | (_, Ones { .. }) => {}
902 (Ones { .. }, Zeros { .. } | Mixed { .. }) | (Mixed { .. }, Zeros { .. }) => {
903 changed = true;
904 *self_chunk = other_chunk.clone();
905 }
906 (
907 Mixed {
908 chunk_domain_size,
909 ones_count: self_chunk_ones_count,
910 words: self_chunk_words,
911 },
912 Mixed { words: other_chunk_words, .. },
913 ) => {
914 let num_words = num_words(*chunk_domain_size as usize);
916 let op = |a, b| a & b;
917 if !bitwise_changes(
918 &self_chunk_words[0..num_words],
919 &other_chunk_words[0..num_words],
920 op,
921 ) {
922 continue;
923 }
924
925 let self_chunk_words = Rc::make_mut(self_chunk_words);
926 let has_changed = bitwise(
927 &mut self_chunk_words[0..num_words],
928 &other_chunk_words[0..num_words],
929 op,
930 );
931 if true {
if !has_changed {
::core::panicking::panic("assertion failed: has_changed")
};
};debug_assert!(has_changed);
932 *self_chunk_ones_count =
933 count_ones(&self_chunk_words[0..num_words]) as ChunkSize;
934 if *self_chunk_ones_count == 0 {
935 *self_chunk = Zeros { chunk_domain_size: *chunk_domain_size };
936 }
937 changed = true;
938 }
939 }
940 }
941
942 changed
943 }
944}
945
946impl<T> Clone for ChunkedBitSet<T> {
947 fn clone(&self) -> Self {
948 ChunkedBitSet {
949 domain_size: self.domain_size,
950 chunks: self.chunks.clone(),
951 marker: PhantomData,
952 }
953 }
954
955 fn clone_from(&mut self, from: &Self) {
960 match (&self.domain_size, &from.domain_size) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(self.domain_size, from.domain_size);
961 if true {
match (&self.chunks.len(), &from.chunks.len()) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val,
&*right_val, ::core::option::Option::None);
}
}
};
};debug_assert_eq!(self.chunks.len(), from.chunks.len());
962
963 self.chunks.clone_from(&from.chunks)
964 }
965}
966
967pub struct ChunkedBitIter<'a, T: Idx> {
968 bit_set: &'a ChunkedBitSet<T>,
969
970 chunk_index: usize,
972
973 chunk_iter: ChunkIter<'a>,
975}
976
977impl<'a, T: Idx> ChunkedBitIter<'a, T> {
978 #[inline]
979 fn new(bit_set: &'a ChunkedBitSet<T>) -> ChunkedBitIter<'a, T> {
980 ChunkedBitIter { bit_set, chunk_index: 0, chunk_iter: bit_set.chunk_iter(0) }
981 }
982}
983
984impl<'a, T: Idx> Iterator for ChunkedBitIter<'a, T> {
985 type Item = T;
986
987 fn next(&mut self) -> Option<T> {
988 loop {
989 match &mut self.chunk_iter {
990 ChunkIter::Zeros => {}
991 ChunkIter::Ones(iter) => {
992 if let Some(next) = iter.next() {
993 return Some(T::new(next + self.chunk_index * CHUNK_BITS));
994 }
995 }
996 ChunkIter::Mixed(iter) => {
997 if let Some(next) = iter.next() {
998 return Some(T::new(next + self.chunk_index * CHUNK_BITS));
999 }
1000 }
1001 ChunkIter::Finished => return None,
1002 }
1003 self.chunk_index += 1;
1004 self.chunk_iter = self.bit_set.chunk_iter(self.chunk_index);
1005 }
1006 }
1007}
1008
1009impl Chunk {
1010 #[cfg(test)]
1011 fn assert_valid(&self) {
1012 match *self {
1013 Zeros { chunk_domain_size } | Ones { chunk_domain_size } => {
1014 assert!(chunk_domain_size as usize <= CHUNK_BITS);
1015 }
1016 Mixed { chunk_domain_size, ones_count, ref words } => {
1017 assert!(chunk_domain_size as usize <= CHUNK_BITS);
1018 assert!(0 < ones_count && ones_count < chunk_domain_size);
1019
1020 assert_eq!(count_ones(words.as_slice()) as ChunkSize, ones_count);
1022
1023 let num_words = num_words(chunk_domain_size as usize);
1025 if num_words < CHUNK_WORDS {
1026 assert_eq!(count_ones(&words[num_words..]) as ChunkSize, 0);
1027 }
1028 }
1029 }
1030 }
1031
1032 fn count(&self) -> usize {
1034 match *self {
1035 Zeros { .. } => 0,
1036 Ones { chunk_domain_size } => chunk_domain_size as usize,
1037 Mixed { ones_count, .. } => usize::from(ones_count),
1038 }
1039 }
1040}
1041
1042enum ChunkIter<'a> {
1043 Zeros,
1044 Ones(Range<usize>),
1045 Mixed(BitIter<'a, usize>),
1046 Finished,
1047}
1048
1049impl<T: Idx> fmt::Debug for ChunkedBitSet<T> {
1050 fn fmt(&self, w: &mut fmt::Formatter<'_>) -> fmt::Result {
1051 w.debug_list().entries(self.iter()).finish()
1052 }
1053}
1054
1055#[inline]
1068fn bitwise<Op>(out_vec: &mut [Word], in_vec: &[Word], op: Op) -> bool
1069where
1070 Op: Fn(Word, Word) -> Word,
1071{
1072 match (&out_vec.len(), &in_vec.len()) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(out_vec.len(), in_vec.len());
1073 let mut changed = 0;
1074 for (out_elem, in_elem) in iter::zip(out_vec, in_vec) {
1075 let old_val = *out_elem;
1076 let new_val = op(old_val, *in_elem);
1077 *out_elem = new_val;
1078 changed |= old_val ^ new_val;
1083 }
1084 changed != 0
1085}
1086
1087#[inline]
1089fn bitwise_changes<Op>(out_vec: &[Word], in_vec: &[Word], op: Op) -> bool
1090where
1091 Op: Fn(Word, Word) -> Word,
1092{
1093 match (&out_vec.len(), &in_vec.len()) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(out_vec.len(), in_vec.len());
1094 for (out_elem, in_elem) in iter::zip(out_vec, in_vec) {
1095 let old_val = *out_elem;
1096 let new_val = op(old_val, *in_elem);
1097 if old_val != new_val {
1098 return true;
1099 }
1100 }
1101 false
1102}
1103
1104#[derive(#[automatically_derived]
impl<T: ::core::cmp::PartialEq> ::core::cmp::PartialEq for MixedBitSet<T> {
#[inline]
fn eq(&self, other: &MixedBitSet<T>) -> bool {
let __self_discr = ::core::intrinsics::discriminant_value(self);
let __arg1_discr = ::core::intrinsics::discriminant_value(other);
__self_discr == __arg1_discr &&
match (self, other) {
(MixedBitSet::Small(__self_0), MixedBitSet::Small(__arg1_0))
=> __self_0 == __arg1_0,
(MixedBitSet::Large(__self_0), MixedBitSet::Large(__arg1_0))
=> __self_0 == __arg1_0,
_ => unsafe { ::core::intrinsics::unreachable() }
}
}
}PartialEq, #[automatically_derived]
impl<T: ::core::cmp::Eq> ::core::cmp::Eq for MixedBitSet<T> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<DenseBitSet<T>>;
let _: ::core::cmp::AssertParamIsEq<ChunkedBitSet<T>>;
}
}Eq)]
1116pub enum MixedBitSet<T> {
1117 Small(DenseBitSet<T>),
1118 Large(ChunkedBitSet<T>),
1119}
1120
1121impl<T> MixedBitSet<T> {
1122 pub fn domain_size(&self) -> usize {
1123 match self {
1124 MixedBitSet::Small(set) => set.domain_size(),
1125 MixedBitSet::Large(set) => set.domain_size(),
1126 }
1127 }
1128}
1129
1130impl<T: Idx> MixedBitSet<T> {
1131 #[inline]
1132 pub fn new_empty(domain_size: usize) -> MixedBitSet<T> {
1133 if domain_size <= CHUNK_BITS {
1134 MixedBitSet::Small(DenseBitSet::new_empty(domain_size))
1135 } else {
1136 MixedBitSet::Large(ChunkedBitSet::new_empty(domain_size))
1137 }
1138 }
1139
1140 #[inline]
1141 pub fn is_empty(&self) -> bool {
1142 match self {
1143 MixedBitSet::Small(set) => set.is_empty(),
1144 MixedBitSet::Large(set) => set.is_empty(),
1145 }
1146 }
1147
1148 #[inline]
1149 pub fn contains(&self, elem: T) -> bool {
1150 match self {
1151 MixedBitSet::Small(set) => set.contains(elem),
1152 MixedBitSet::Large(set) => set.contains(elem),
1153 }
1154 }
1155
1156 #[inline]
1157 pub fn insert(&mut self, elem: T) -> bool {
1158 match self {
1159 MixedBitSet::Small(set) => set.insert(elem),
1160 MixedBitSet::Large(set) => set.insert(elem),
1161 }
1162 }
1163
1164 pub fn insert_all(&mut self) {
1165 match self {
1166 MixedBitSet::Small(set) => set.insert_all(),
1167 MixedBitSet::Large(set) => set.insert_all(),
1168 }
1169 }
1170
1171 #[inline]
1172 pub fn remove(&mut self, elem: T) -> bool {
1173 match self {
1174 MixedBitSet::Small(set) => set.remove(elem),
1175 MixedBitSet::Large(set) => set.remove(elem),
1176 }
1177 }
1178
1179 pub fn iter(&self) -> MixedBitIter<'_, T> {
1180 match self {
1181 MixedBitSet::Small(set) => MixedBitIter::Small(set.iter()),
1182 MixedBitSet::Large(set) => MixedBitIter::Large(set.iter()),
1183 }
1184 }
1185
1186 #[inline]
1187 pub fn clear(&mut self) {
1188 match self {
1189 MixedBitSet::Small(set) => set.clear(),
1190 MixedBitSet::Large(set) => set.clear(),
1191 }
1192 }
1193
1194 self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::union(self, other);
Self
Rhs
&mut Self
self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::subtract(self, other);
Self
Rhs
&mut Self
self
&Rhs
other
bool
<Self as BitRelations<Rhs>>::intersect(self, other);bit_relations_inherent_impls! {}
1195}
1196
1197impl<T> Clone for MixedBitSet<T> {
1198 fn clone(&self) -> Self {
1199 match self {
1200 MixedBitSet::Small(set) => MixedBitSet::Small(set.clone()),
1201 MixedBitSet::Large(set) => MixedBitSet::Large(set.clone()),
1202 }
1203 }
1204
1205 fn clone_from(&mut self, from: &Self) {
1210 match (self, from) {
1211 (MixedBitSet::Small(set), MixedBitSet::Small(from)) => set.clone_from(from),
1212 (MixedBitSet::Large(set), MixedBitSet::Large(from)) => set.clone_from(from),
1213 _ => { ::core::panicking::panic_fmt(format_args!("MixedBitSet size mismatch")); }panic!("MixedBitSet size mismatch"),
1214 }
1215 }
1216}
1217
1218impl<T: Idx> BitRelations<MixedBitSet<T>> for MixedBitSet<T> {
1219 fn union(&mut self, other: &MixedBitSet<T>) -> bool {
1220 match (self, other) {
1221 (MixedBitSet::Small(set), MixedBitSet::Small(other)) => set.union(other),
1222 (MixedBitSet::Large(set), MixedBitSet::Large(other)) => set.union(other),
1223 _ => { ::core::panicking::panic_fmt(format_args!("MixedBitSet size mismatch")); }panic!("MixedBitSet size mismatch"),
1224 }
1225 }
1226
1227 fn subtract(&mut self, other: &MixedBitSet<T>) -> bool {
1228 match (self, other) {
1229 (MixedBitSet::Small(set), MixedBitSet::Small(other)) => set.subtract(other),
1230 (MixedBitSet::Large(set), MixedBitSet::Large(other)) => set.subtract(other),
1231 _ => { ::core::panicking::panic_fmt(format_args!("MixedBitSet size mismatch")); }panic!("MixedBitSet size mismatch"),
1232 }
1233 }
1234
1235 fn intersect(&mut self, _other: &MixedBitSet<T>) -> bool {
1236 {
::core::panicking::panic_fmt(format_args!("not implemented: {0}",
format_args!("implement if/when necessary")));
};unimplemented!("implement if/when necessary");
1237 }
1238}
1239
1240impl<T: Idx> fmt::Debug for MixedBitSet<T> {
1241 fn fmt(&self, w: &mut fmt::Formatter<'_>) -> fmt::Result {
1242 match self {
1243 MixedBitSet::Small(set) => set.fmt(w),
1244 MixedBitSet::Large(set) => set.fmt(w),
1245 }
1246 }
1247}
1248
1249pub enum MixedBitIter<'a, T: Idx> {
1250 Small(BitIter<'a, T>),
1251 Large(ChunkedBitIter<'a, T>),
1252}
1253
1254impl<'a, T: Idx> Iterator for MixedBitIter<'a, T> {
1255 type Item = T;
1256 fn next(&mut self) -> Option<T> {
1257 match self {
1258 MixedBitIter::Small(iter) => iter.next(),
1259 MixedBitIter::Large(iter) => iter.next(),
1260 }
1261 }
1262}
1263
1264#[derive(#[automatically_derived]
impl<T: ::core::clone::Clone + Idx> ::core::clone::Clone for GrowableBitSet<T>
{
#[inline]
fn clone(&self) -> GrowableBitSet<T> {
GrowableBitSet { bit_set: ::core::clone::Clone::clone(&self.bit_set) }
}
}Clone, #[automatically_derived]
impl<T: ::core::fmt::Debug + Idx> ::core::fmt::Debug for GrowableBitSet<T> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field1_finish(f,
"GrowableBitSet", "bit_set", &&self.bit_set)
}
}Debug, #[automatically_derived]
impl<T: ::core::cmp::PartialEq + Idx> ::core::cmp::PartialEq for
GrowableBitSet<T> {
#[inline]
fn eq(&self, other: &GrowableBitSet<T>) -> bool {
self.bit_set == other.bit_set
}
}PartialEq)]
1272pub struct GrowableBitSet<T: Idx> {
1273 bit_set: DenseBitSet<T>,
1274}
1275
1276impl<T: Idx> Default for GrowableBitSet<T> {
1277 fn default() -> Self {
1278 GrowableBitSet::new_empty()
1279 }
1280}
1281
1282impl<T: Idx> GrowableBitSet<T> {
1283 pub fn ensure(&mut self, min_domain_size: usize) {
1285 if self.bit_set.domain_size < min_domain_size {
1286 self.bit_set.domain_size = min_domain_size;
1287 }
1288
1289 let min_num_words = num_words(min_domain_size);
1290 if self.bit_set.words.len() < min_num_words {
1291 self.bit_set.words.resize(min_num_words, 0)
1292 }
1293 }
1294
1295 pub fn new_empty() -> GrowableBitSet<T> {
1296 GrowableBitSet { bit_set: DenseBitSet::new_empty(0) }
1297 }
1298
1299 pub fn with_capacity(capacity: usize) -> GrowableBitSet<T> {
1300 GrowableBitSet { bit_set: DenseBitSet::new_empty(capacity) }
1301 }
1302
1303 #[inline]
1305 pub fn insert(&mut self, elem: T) -> bool {
1306 self.ensure(elem.index() + 1);
1307 self.bit_set.insert(elem)
1308 }
1309
1310 #[inline]
1311 pub fn insert_range(&mut self, elems: Range<T>) {
1312 self.ensure(elems.end.index());
1313 self.bit_set.insert_range(elems);
1314 }
1315
1316 #[inline]
1318 pub fn remove(&mut self, elem: T) -> bool {
1319 self.ensure(elem.index() + 1);
1320 self.bit_set.remove(elem)
1321 }
1322
1323 #[inline]
1324 pub fn clear(&mut self) {
1325 self.bit_set.clear();
1326 }
1327
1328 #[inline]
1329 pub fn count(&self) -> usize {
1330 self.bit_set.count()
1331 }
1332
1333 #[inline]
1334 pub fn is_empty(&self) -> bool {
1335 self.bit_set.is_empty()
1336 }
1337
1338 #[inline]
1339 pub fn contains(&self, elem: T) -> bool {
1340 let (word_index, mask) = word_index_and_mask(elem);
1341 self.bit_set.words.get(word_index).is_some_and(|word| (word & mask) != 0)
1342 }
1343
1344 #[inline]
1345 pub fn contains_any(&self, elems: Range<T>) -> bool {
1346 elems.start.index() < self.bit_set.domain_size
1347 && self
1348 .bit_set
1349 .contains_any(elems.start..T::new(elems.end.index().min(self.bit_set.domain_size)))
1350 }
1351
1352 #[inline]
1353 pub fn iter(&self) -> BitIter<'_, T> {
1354 self.bit_set.iter()
1355 }
1356
1357 #[inline]
1358 pub fn len(&self) -> usize {
1359 self.bit_set.count()
1360 }
1361}
1362
1363impl<T: Idx> From<DenseBitSet<T>> for GrowableBitSet<T> {
1364 fn from(bit_set: DenseBitSet<T>) -> Self {
1365 Self { bit_set }
1366 }
1367}
1368
1369#[cfg_attr(feature = "nightly", derive(const _: () =
{
impl<R: Idx, C: Idx, __D: ::rustc_serialize::Decoder>
::rustc_serialize::Decodable<__D> for BitMatrix<R, C> where
PhantomData<(R, C)>: ::rustc_serialize::Decodable<__D> {
fn decode(__decoder: &mut __D) -> Self {
BitMatrix {
num_rows: ::rustc_serialize::Decodable::decode(__decoder),
num_columns: ::rustc_serialize::Decodable::decode(__decoder),
words: ::rustc_serialize::Decodable::decode(__decoder),
marker: ::rustc_serialize::Decodable::decode(__decoder),
}
}
}
};Decodable_NoContext, const _: () =
{
impl<R: Idx, C: Idx, __E: ::rustc_serialize::Encoder>
::rustc_serialize::Encodable<__E> for BitMatrix<R, C> where
PhantomData<(R, C)>: ::rustc_serialize::Encodable<__E> {
fn encode(&self, __encoder: &mut __E) {
match *self {
BitMatrix {
num_rows: ref __binding_0,
num_columns: ref __binding_1,
words: ref __binding_2,
marker: ref __binding_3 } => {
::rustc_serialize::Encodable::<__E>::encode(__binding_0,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_1,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_2,
__encoder);
::rustc_serialize::Encodable::<__E>::encode(__binding_3,
__encoder);
}
}
}
}
};Encodable_NoContext))]
1377#[derive(#[automatically_derived]
impl<R: ::core::clone::Clone + Idx, C: ::core::clone::Clone + Idx>
::core::clone::Clone for BitMatrix<R, C> {
#[inline]
fn clone(&self) -> BitMatrix<R, C> {
BitMatrix {
num_rows: ::core::clone::Clone::clone(&self.num_rows),
num_columns: ::core::clone::Clone::clone(&self.num_columns),
words: ::core::clone::Clone::clone(&self.words),
marker: ::core::clone::Clone::clone(&self.marker),
}
}
}Clone, #[automatically_derived]
impl<R: ::core::cmp::Eq + Idx, C: ::core::cmp::Eq + Idx> ::core::cmp::Eq for
BitMatrix<R, C> {
#[inline]
#[doc(hidden)]
#[coverage(off)]
fn assert_fields_are_eq(&self) {
let _: ::core::cmp::AssertParamIsEq<usize>;
let _: ::core::cmp::AssertParamIsEq<Vec<Word>>;
let _: ::core::cmp::AssertParamIsEq<PhantomData<(R, C)>>;
}
}Eq, #[automatically_derived]
impl<R: ::core::cmp::PartialEq + Idx, C: ::core::cmp::PartialEq + Idx>
::core::cmp::PartialEq for BitMatrix<R, C> {
#[inline]
fn eq(&self, other: &BitMatrix<R, C>) -> bool {
self.num_rows == other.num_rows &&
self.num_columns == other.num_columns &&
self.words == other.words && self.marker == other.marker
}
}PartialEq, #[automatically_derived]
impl<R: ::core::hash::Hash + Idx, C: ::core::hash::Hash + Idx>
::core::hash::Hash for BitMatrix<R, C> {
#[inline]
fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
::core::hash::Hash::hash(&self.num_rows, state);
::core::hash::Hash::hash(&self.num_columns, state);
::core::hash::Hash::hash(&self.words, state);
::core::hash::Hash::hash(&self.marker, state)
}
}Hash)]
1378pub struct BitMatrix<R: Idx, C: Idx> {
1379 num_rows: usize,
1380 num_columns: usize,
1381 words: Vec<Word>,
1382 marker: PhantomData<(R, C)>,
1383}
1384
1385impl<R: Idx, C: Idx> BitMatrix<R, C> {
1386 pub fn new(num_rows: usize, num_columns: usize) -> BitMatrix<R, C> {
1388 let words_per_row = num_words(num_columns);
1391 BitMatrix {
1392 num_rows,
1393 num_columns,
1394 words: ::alloc::vec::from_elem(0, num_rows * words_per_row)vec![0; num_rows * words_per_row],
1395 marker: PhantomData,
1396 }
1397 }
1398
1399 pub fn from_row_n(row: &DenseBitSet<C>, num_rows: usize) -> BitMatrix<R, C> {
1401 let num_columns = row.domain_size();
1402 let words_per_row = num_words(num_columns);
1403 match (&words_per_row, &row.words.len()) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(words_per_row, row.words.len());
1404 BitMatrix {
1405 num_rows,
1406 num_columns,
1407 words: iter::repeat_n(&row.words, num_rows).flatten().cloned().collect(),
1408 marker: PhantomData,
1409 }
1410 }
1411
1412 pub fn rows(&self) -> impl Iterator<Item = R> {
1413 (0..self.num_rows).map(R::new)
1414 }
1415
1416 fn range(&self, row: R) -> (usize, usize) {
1418 let words_per_row = num_words(self.num_columns);
1419 let start = row.index() * words_per_row;
1420 (start, start + words_per_row)
1421 }
1422
1423 pub fn insert(&mut self, row: R, column: C) -> bool {
1428 if !(row.index() < self.num_rows && column.index() < self.num_columns) {
::core::panicking::panic("assertion failed: row.index() < self.num_rows && column.index() < self.num_columns")
};assert!(row.index() < self.num_rows && column.index() < self.num_columns);
1429 let (start, _) = self.range(row);
1430 let (word_index, mask) = word_index_and_mask(column);
1431 let words = &mut self.words[..];
1432 let word = words[start + word_index];
1433 let new_word = word | mask;
1434 words[start + word_index] = new_word;
1435 word != new_word
1436 }
1437
1438 pub fn contains(&self, row: R, column: C) -> bool {
1443 if !(row.index() < self.num_rows && column.index() < self.num_columns) {
::core::panicking::panic("assertion failed: row.index() < self.num_rows && column.index() < self.num_columns")
};assert!(row.index() < self.num_rows && column.index() < self.num_columns);
1444 let (start, _) = self.range(row);
1445 let (word_index, mask) = word_index_and_mask(column);
1446 (self.words[start + word_index] & mask) != 0
1447 }
1448
1449 pub fn intersect_rows(&self, row1: R, row2: R) -> Vec<C> {
1454 if !(row1.index() < self.num_rows && row2.index() < self.num_rows) {
::core::panicking::panic("assertion failed: row1.index() < self.num_rows && row2.index() < self.num_rows")
};assert!(row1.index() < self.num_rows && row2.index() < self.num_rows);
1455 let (row1_start, row1_end) = self.range(row1);
1456 let (row2_start, row2_end) = self.range(row2);
1457 let mut result = Vec::with_capacity(self.num_columns);
1458 for (base, (i, j)) in (row1_start..row1_end).zip(row2_start..row2_end).enumerate() {
1459 let mut v = self.words[i] & self.words[j];
1460 for bit in 0..WORD_BITS {
1461 if v == 0 {
1462 break;
1463 }
1464 if v & 0x1 != 0 {
1465 result.push(C::new(base * WORD_BITS + bit));
1466 }
1467 v >>= 1;
1468 }
1469 }
1470 result
1471 }
1472
1473 pub fn union_rows(&mut self, read: R, write: R) -> bool {
1481 if !(read.index() < self.num_rows && write.index() < self.num_rows) {
::core::panicking::panic("assertion failed: read.index() < self.num_rows && write.index() < self.num_rows")
};assert!(read.index() < self.num_rows && write.index() < self.num_rows);
1482 let (read_start, read_end) = self.range(read);
1483 let (write_start, write_end) = self.range(write);
1484 let words = &mut self.words[..];
1485 let mut changed = 0;
1486 for (read_index, write_index) in iter::zip(read_start..read_end, write_start..write_end) {
1487 let word = words[write_index];
1488 let new_word = word | words[read_index];
1489 words[write_index] = new_word;
1490 changed |= word ^ new_word;
1492 }
1493 changed != 0
1494 }
1495
1496 pub fn union_row_with(&mut self, with: &DenseBitSet<C>, write: R) -> bool {
1499 if !(write.index() < self.num_rows) {
::core::panicking::panic("assertion failed: write.index() < self.num_rows")
};assert!(write.index() < self.num_rows);
1500 match (&with.domain_size(), &self.num_columns) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(with.domain_size(), self.num_columns);
1501 let (write_start, write_end) = self.range(write);
1502 bitwise(&mut self.words[write_start..write_end], &with.words, |a, b| a | b)
1503 }
1504
1505 pub fn insert_all_into_row(&mut self, row: R) {
1507 if !(row.index() < self.num_rows) {
::core::panicking::panic("assertion failed: row.index() < self.num_rows")
};assert!(row.index() < self.num_rows);
1508 let (start, end) = self.range(row);
1509 let words = &mut self.words[..];
1510 for index in start..end {
1511 words[index] = !0;
1512 }
1513 clear_excess_bits_in_final_word(self.num_columns, &mut self.words[..end]);
1514 }
1515
1516 pub fn words(&self) -> &[Word] {
1518 &self.words
1519 }
1520
1521 pub fn iter(&self, row: R) -> BitIter<'_, C> {
1524 if !(row.index() < self.num_rows) {
::core::panicking::panic("assertion failed: row.index() < self.num_rows")
};assert!(row.index() < self.num_rows);
1525 let (start, end) = self.range(row);
1526 BitIter::new(&self.words[start..end])
1527 }
1528
1529 pub fn count(&self, row: R) -> usize {
1531 let (start, end) = self.range(row);
1532 count_ones(&self.words[start..end])
1533 }
1534}
1535
1536impl<R: Idx, C: Idx> fmt::Debug for BitMatrix<R, C> {
1537 fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
1538 struct OneLinePrinter<T>(T);
1540 impl<T: fmt::Debug> fmt::Debug for OneLinePrinter<T> {
1541 fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
1542 fmt.write_fmt(format_args!("{0:?}", self.0))write!(fmt, "{:?}", self.0)
1543 }
1544 }
1545
1546 fmt.write_fmt(format_args!("BitMatrix({0}x{1}) ", self.num_rows,
self.num_columns))write!(fmt, "BitMatrix({}x{}) ", self.num_rows, self.num_columns)?;
1547 let items = self.rows().flat_map(|r| self.iter(r).map(move |c| (r, c)));
1548 fmt.debug_set().entries(items.map(OneLinePrinter)).finish()
1549 }
1550}
1551
1552#[derive(#[automatically_derived]
impl<R: ::core::clone::Clone, C: ::core::clone::Clone> ::core::clone::Clone
for SparseBitMatrix<R, C> where R: Idx, C: Idx {
#[inline]
fn clone(&self) -> SparseBitMatrix<R, C> {
SparseBitMatrix {
num_columns: ::core::clone::Clone::clone(&self.num_columns),
rows: ::core::clone::Clone::clone(&self.rows),
}
}
}Clone, #[automatically_derived]
impl<R: ::core::fmt::Debug, C: ::core::fmt::Debug> ::core::fmt::Debug for
SparseBitMatrix<R, C> where R: Idx, C: Idx {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
::core::fmt::Formatter::debug_struct_field2_finish(f,
"SparseBitMatrix", "num_columns", &self.num_columns, "rows",
&&self.rows)
}
}Debug)]
1564pub struct SparseBitMatrix<R, C>
1565where
1566 R: Idx,
1567 C: Idx,
1568{
1569 num_columns: usize,
1570 rows: IndexVec<R, Option<DenseBitSet<C>>>,
1571}
1572
1573impl<R: Idx, C: Idx> SparseBitMatrix<R, C> {
1574 pub fn new(num_columns: usize) -> Self {
1576 Self { num_columns, rows: IndexVec::new() }
1577 }
1578
1579 fn ensure_row(&mut self, row: R) -> &mut DenseBitSet<C> {
1580 self.rows.get_or_insert_with(row, || DenseBitSet::new_empty(self.num_columns))
1583 }
1584
1585 pub fn insert(&mut self, row: R, column: C) -> bool {
1590 self.ensure_row(row).insert(column)
1591 }
1592
1593 pub fn remove(&mut self, row: R, column: C) -> bool {
1599 match self.rows.get_mut(row) {
1600 Some(Some(row)) => row.remove(column),
1601 _ => false,
1602 }
1603 }
1604
1605 pub fn clear(&mut self, row: R) {
1608 if let Some(Some(row)) = self.rows.get_mut(row) {
1609 row.clear();
1610 }
1611 }
1612
1613 pub fn contains(&self, row: R, column: C) -> bool {
1618 self.row(row).is_some_and(|r| r.contains(column))
1619 }
1620
1621 pub fn union_rows(&mut self, read: R, write: R) -> bool {
1629 if read == write || self.row(read).is_none() {
1630 return false;
1631 }
1632
1633 self.ensure_row(write);
1634 if let (Some(read_row), Some(write_row)) = self.rows.pick2_mut(read, write) {
1635 write_row.union(read_row)
1636 } else {
1637 ::core::panicking::panic("internal error: entered unreachable code")unreachable!()
1638 }
1639 }
1640
1641 pub fn insert_all_into_row(&mut self, row: R) {
1643 self.ensure_row(row).insert_all();
1644 }
1645
1646 pub fn rows(&self) -> impl Iterator<Item = R> {
1647 self.rows.indices()
1648 }
1649
1650 pub fn iter(&self, row: R) -> impl Iterator<Item = C> {
1653 self.row(row).into_iter().flat_map(|r| r.iter())
1654 }
1655
1656 pub fn row(&self, row: R) -> Option<&DenseBitSet<C>> {
1657 self.rows.get(row)?.as_ref()
1658 }
1659
1660 pub fn intersect_row<Set>(&mut self, row: R, set: &Set) -> bool
1665 where
1666 DenseBitSet<C>: BitRelations<Set>,
1667 {
1668 match self.rows.get_mut(row) {
1669 Some(Some(row)) => row.intersect(set),
1670 _ => false,
1671 }
1672 }
1673
1674 pub fn subtract_row<Set>(&mut self, row: R, set: &Set) -> bool
1679 where
1680 DenseBitSet<C>: BitRelations<Set>,
1681 {
1682 match self.rows.get_mut(row) {
1683 Some(Some(row)) => row.subtract(set),
1684 _ => false,
1685 }
1686 }
1687
1688 pub fn union_row<Set>(&mut self, row: R, set: &Set) -> bool
1693 where
1694 DenseBitSet<C>: BitRelations<Set>,
1695 {
1696 self.ensure_row(row).union(set)
1697 }
1698}
1699
1700#[inline]
1701fn num_words<T: Idx>(domain_size: T) -> usize {
1702 domain_size.index().div_ceil(WORD_BITS)
1703}
1704
1705#[inline]
1706fn word_index_and_mask<T: Idx>(elem: T) -> (usize, Word) {
1707 let elem = elem.index();
1708 let word_index = elem / WORD_BITS;
1709 let mask = 1 << (elem % WORD_BITS);
1710 (word_index, mask)
1711}
1712
1713#[inline]
1714fn chunk_index<T: Idx>(elem: T) -> usize {
1715 elem.index() / CHUNK_BITS
1716}
1717
1718#[inline]
1719fn chunk_word_index_and_mask<T: Idx>(elem: T) -> (usize, Word) {
1720 let chunk_elem = elem.index() % CHUNK_BITS;
1721 word_index_and_mask(chunk_elem)
1722}
1723
1724fn clear_excess_bits_in_final_word(domain_size: usize, words: &mut [Word]) {
1725 let num_bits_in_final_word = domain_size % WORD_BITS;
1726 if num_bits_in_final_word > 0 {
1727 let mask = (1 << num_bits_in_final_word) - 1;
1728 words[words.len() - 1] &= mask;
1729 }
1730}
1731
1732#[inline]
1733fn max_bit(word: Word) -> usize {
1734 WORD_BITS - 1 - word.leading_zeros() as usize
1735}
1736
1737#[inline]
1738fn count_ones(words: &[Word]) -> usize {
1739 words.iter().map(|word| word.count_ones() as usize).sum()
1740}