pub struct UnionFind { /* private fields */ }
Expand description
Union-Find structure.
Implementations§
Source§impl UnionFind
impl UnionFind
Sourcepub fn len(&self) -> usize
pub fn len(&self) -> usize
Gets the number of items in the structure.
§Examples
use causal_hub::utils::UnionFind;
// Initialize a new union-find.
let union_find = UnionFind::new(5);
// The new union-find contains only disjoint sets.
assert_eq!(union_find.len(), 5);
Sourcepub fn contains(&self, x: usize, y: usize) -> bool
pub fn contains(&self, x: usize, y: usize) -> bool
Checks if two items are in the same set.
§Panics
At least one of the items does not exist in the structure.
§Examples
use causal_hub::utils::UnionFind;
// Initialize a new union-find.
let union_find = UnionFind::new(5);
// The new union-find contains only disjoint sets.
assert!(!union_find.contains(0, 1));
Sourcepub fn find(&self, x: usize) -> usize
pub fn find(&self, x: usize) -> usize
Gets the root of a given item.
§Panics
The items does not exist in the structure.
§Examples
use causal_hub::utils::UnionFind;
// Initialize a new union-find.
let union_find = UnionFind::new(5);
// The new union-find contains only disjoint sets.
for x in 0..union_find.len() {
assert_eq!(union_find.find(x), x);
}
Sourcepub fn find_mut(&mut self, x: usize) -> usize
pub fn find_mut(&mut self, x: usize) -> usize
Gets the root of a given item, while compressing the paths.
§Panics
The items does not exist in the structure.
§Examples
use causal_hub::utils::UnionFind;
// Initialize a new union-find.
let mut union_find = UnionFind::new(5);
// The new union-find contains only disjoint sets.
for x in 0..union_find.len() {
assert_eq!(union_find.find_mut(x), x);
}
Sourcepub fn union(&mut self, x: usize, y: usize) -> bool
pub fn union(&mut self, x: usize, y: usize) -> bool
Make two items into the same set, if not already.
§Panics
At least one of the items does not exist in the structure.
§Examples
use causal_hub::utils::UnionFind;
// Initialize a new union-find.
let mut union_find = UnionFind::new(5);
// The new union-find contains only disjoint sets.
for x in 0..union_find.len() {
assert_eq!(union_find.find(x), x);
}
// Merge item set 0 and 3.
assert!(union_find.union(0, 3));
// Now, items 0 and 3 are in the same set.
assert!(union_find.contains(0, 3));
Trait Implementations§
Source§impl Extend<usize> for UnionFind
impl Extend<usize> for UnionFind
Source§fn extend<I: IntoIterator<Item = usize>>(&mut self, iter: I)
fn extend<I: IntoIterator<Item = usize>>(&mut self, iter: I)
Union all the items from an iterator into the same set.
§Panics
At least one of the items does not exist in the structure.
§Examples
use causal_hub::utils::UnionFind;
// Initialize a new union-find.
let mut union_find = UnionFind::new(5);
// The new union-find contains only disjoint sets.
for x in 0..union_find.len() {
assert_eq!(union_find.find(x), x);
}
// Merge items from 0 to 3.
union_find.extend(0..4);
// Now, items from 0 to 3 are in the same set.
assert!(union_find.contains(0, 1));
assert!(union_find.contains(0, 2));
assert!(union_find.contains(0, 3));
// Item 4 is is not in the same set
assert!(!union_find.contains(0, 4));
assert!(!union_find.contains(1, 4));
assert!(!union_find.contains(2, 4));
assert!(!union_find.contains(3, 4));
Source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
🔬This is a nightly-only experimental API. (
extend_one
)Extends a collection with exactly one element.
Source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
🔬This is a nightly-only experimental API. (
extend_one
)Reserves capacity in a collection for the given number of additional elements. Read more
Auto Trait Implementations§
impl Freeze for UnionFind
impl RefUnwindSafe for UnionFind
impl Send for UnionFind
impl Sync for UnionFind
impl Unpin for UnionFind
impl UnwindSafe for UnionFind
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).Source§unsafe fn to_subset_unchecked(&self) -> SS
unsafe fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.