ids: Rename some IndexedIdVec/IdVec methods

* IndexedIdVec::get_id -> get_key
* IdVec::extend -> IdVec::extend_values

eqy-engine/src/unroll.rs

@@ -195,7 +195,7 @@ impl Unroll {
     }
 
     fn find_unrolled_repr_var(&self, step: TimeStep, seq_var: Var) -> Option<Lit> {
-        let seen = self.seen_from_seq.get_id(&seq_var)?;
+        let seen = self.seen_from_seq.get_key(&seq_var)?;
         let comb_from_seen = self.comb_from_seen.get(step)?;
         let slot = comb_from_seen.get(seen)?;
         *slot

ids/src/id_vec.rs

@@ -522,7 +522,7 @@ impl<K: Id, V> IdVec<K, V> {
 
     /// Inserts values from an iterator using the smallset available ids as keys.
     #[inline]
-    pub fn extend(&mut self, iter: impl IntoIterator<Item = V>) {
+    pub fn extend_values(&mut self, iter: impl IntoIterator<Item = V>) {
         // TODO document why we're not implementing the Extend trait
         self.modify_values(|values| values.extend(iter))
     }

ids/src/indexed_id_vec.rs

@@ -123,7 +123,7 @@ impl<K: Id, V: Hash + Eq, S: BuildHasher> IndexedIdVec<K, V, S> {
     /// Retrieves the key for a value in the set.
     ///
     /// Returns `None` if the set doesn't contain the given value.
-    pub fn get_id<Q>(&self, value: &Q) -> Option<K>
+    pub fn get_key<Q>(&self, value: &Q) -> Option<K>
     where
         V: Borrow<Q>,
         Q: Hash + Eq + ?Sized,