chore: Remove dead code, guard solver module with sat feature

fuzzypixelz · Mar 28, 2024 · e1a8525 · e1a8525
1 parent d7c6f35
commit e1a8525
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/crates/absolut-macros/Cargo.toml b/crates/absolut-macros/Cargo.toml
@@ -17,5 +17,4 @@ quote = "1.0.31"
 varisat = { version = "0.2.2", optional = true }
 
 [features]
-default = ["sat"]
 sat = ["dep:varisat"]
diff --git a/crates/absolut-macros/src/algorithms/mod.rs b/crates/absolut-macros/src/algorithms/mod.rs
@@ -10,7 +10,7 @@ pub mod composite;
 #[cfg(feature = "sat")]
 pub mod one_hot_sat;
 pub mod one_of_8;
-
+#[cfg(feature = "sat")]
 mod solver;
 
 pub trait Algorithm {
@@ -70,14 +70,6 @@ impl Bytes {
             Bytes::Range { start, end } => (*start..=*end).collect(),
         }
     }
-
-    pub fn contains(&self, byte: &u8) -> bool {
-        match self {
-            Bytes::Singleton(b) => byte == b,
-            Bytes::List(v) => v.contains(byte),
-            Bytes::Range { start, end } => start <= byte && byte <= end,
-        }
-    }
 }
 
 impl Parse for Bytes {