Simplify code requiring some features

shnarazk · Dec 14, 2024 · e34127e · e34127e
1 parent a992ed8
commit e34127e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/assign/learning_rate.rs b/src/assign/learning_rate.rs
@@ -18,13 +18,16 @@ impl ActivityIF<VarId> for AssignStack {
     fn reward_at_analysis(&mut self, vi: VarId) {
         self.var[vi].turn_on(FlagVar::USED);
     }
+    #[cfg(feature = "spin")]
     #[inline]
     fn reward_at_assign(&mut self, vi: VarId) {
-        #[cfg(feature = "spin")]
         if let Some(b) = self.var[vi].assign {
             self.var[vi].spin.update(b, self.tick);
         }
     }
+    #[cfg(not(feature = "spin"))]
+    #[inline]
+    fn reward_at_assign(&mut self, _vi: VarId) {}
     #[inline]
     fn reward_at_propagation(&mut self, _vi: VarId) {}
     #[inline]

diff --git a/src/bin/splw.rs b/src/bin/splw.rs
@@ -1,3 +1,4 @@
+#![cfg(feature = "graph_view")]
 #[allow(unused_imports)]
 use {
     crossterm::{