Clippy is_empty

This commit is contained in:
Ayaz Hafiz 2022-06-07 12:17:40 -04:00
parent 3df5be6528
commit 87a1b3b42d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -444,6 +444,10 @@ impl Pools {
self.0.len()
}
pub fn is_empty(&self) -> bool {
self.0.is_empty()
}
pub fn get_mut(&mut self, rank: Rank) -> &mut Vec<Variable> {
match self.0.get_mut(rank.into_usize()) {
Some(reference) => reference,