chore(eq): Fix reviewed changes

Author: matthiasgreen

solver/src/collections/ref_store.rs

@@ -400,10 +400,10 @@ impl<K: Ref, V> RefMap<K, V> {
     pub fn insert(&mut self, k: K, v: V) {
         let index = k.into();
         if index > self.entries.len() {
-            self.entries.reserve_exact(index - self.entries.len());
-        }
-        while self.entries.len() <= index {
-            self.entries.push(None);
+            self.entries.reserve(index - self.entries.len());
+            while self.entries.len() <= index {
+                self.entries.push(None);
+            }
         }
         self.entries[index] = Some(v);
     }
@@ -445,8 +445,7 @@ impl<K: Ref, V> RefMap<K, V> {
         if index >= self.entries.len() {
             None
         } else {
-            let res: &Option<V> = &self.entries[index];
-            res.as_ref()
+            self.entries[index].as_ref()
         }
     }
 
@@ -455,13 +454,10 @@ impl<K: Ref, V> RefMap<K, V> {
         if index >= self.entries.len() {
             None
         } else {
-            let res: &mut Option<V> = &mut self.entries[index];
-            res.as_mut()
+            self.entries[index].as_mut()
         }
     }
 
-    // pub fn get_many_mut_or_insert<const N: usize>(&mut self, ks: [K; N], default: impl Fn() -> V) -> [&mut V; N] {}
-
     pub fn get_or_insert(&mut self, k: K, default: impl FnOnce() -> V) -> &V {
         if !self.contains(k) {
             self.insert(k, default())

solver/src/core/state/domains.rs

@@ -187,15 +187,6 @@ impl Domains {
         self.lb(var) >= self.ub(var)
     }
 
-    pub fn get_bound(&self, var: VarRef) -> Option<IntCst> {
-        let (lb, ub) = self.bounds(var);
-        if lb == ub {
-            Some(lb)
-        } else {
-            None
-        }
-    }
-
     pub fn entails(&self, lit: Lit) -> bool {
         debug_assert!(!self.doms.entails(lit) || !self.doms.entails(!lit));
         self.doms.entails(lit)

solver/src/core/state/snapshot.rs

@@ -72,17 +72,6 @@ impl<'a> DomainsSnapshot<'a> {
         (self.lb(var), self.ub(var))
     }
 
-    /// Returns Some(bound) is ub = lb
-    pub fn get_bound(&self, var: impl Into<SignedVar>) -> Option<IntCst> {
-        let var = var.into();
-        let (lb, ub) = self.bounds(var);
-        if lb == ub {
-            Some(lb)
-        } else {
-            None
-        }
-    }
-
     /// Returns true if the given literal is entailed by the current state;
     pub fn entails(&self, lit: Lit) -> bool {
         let curr_ub = self.ub(lit.svar());