Fix bug in partial valuation indexing.

sybila · Nov 29, 2023 · 3a60a72 · 3a60a72
1 parent f862c6b
commit 3a60a72
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/src/_impl_bdd_partial_valuation.rs b/src/_impl_bdd_partial_valuation.rs
@@ -121,13 +121,18 @@ impl Index<BddVariable> for BddPartialValuation {
     type Output = Option<bool>;
 
     fn index(&self, index: BddVariable) -> &Self::Output {
-        &self.0[usize::from(index.0)]
+        let index = usize::from(index.0);
+        if index < self.0.len() {
+            &self.0[index]
+        } else {
+            &None
+        }
     }
 }
 
 impl IndexMut<BddVariable> for BddPartialValuation {
     fn index_mut(&mut self, index: BddVariable) -> &mut Self::Output {
-        &mut self.0[usize::from(index.0)]
+        self.mut_cell(index)
     }
 }