feat(stn): add relevance based theory propagation

plaans · Nov 19, 2024 · f419d15 · f419d15
1 parent eb11bc7
commit f419d15
Show file tree

Hide file tree

Showing 5 changed files with 762 additions and 895 deletions.
diff --git a/solver/src/backtrack/trail.rs b/solver/src/backtrack/trail.rs
@@ -29,6 +29,11 @@ impl<Event> Trail<Event> {
         &self.trail[u32::from(index) as usize]
     }
 
+    /// Returns the Id of the next event to be inserted in the trail
+    pub fn next_event(&self) -> EventIndex {
+        EventIndex::new(self.trail.len())
+    }
+
     /// Removes and returns the last event within the last saved state.
     ///
     /// # Panic