removed dead code

crillab · Jul 3, 2024 · 2c61439 · 2c61439
1 parent b4082ac
commit 2c61439
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/local_crates/crusti_app_helper-v0.1/src/cli_manager/mod.rs b/local_crates/crusti_app_helper-v0.1/src/cli_manager/mod.rs
@@ -1,5 +1,4 @@
 pub(crate) mod cli_manager;
-pub use cli_manager::logging_level_cli_arg;
 
 pub(crate) mod command;
 

diff --git a/src/core/involved_vars.rs b/src/core/involved_vars.rs
@@ -15,10 +15,6 @@ impl InvolvedVars {
         Self(bitvec![0; n_vars])
     }
 
-    pub fn new_all_set(n_vars: usize) -> Self {
-        Self(bitvec![1; n_vars])
-    }
-
     pub fn and_assign(&mut self, other: &InvolvedVars) {
         self.0 &= &other.0;
     }
@@ -52,10 +48,6 @@ impl InvolvedVars {
         *self.0.get(l.var_index()).unwrap()
     }
 
-    pub fn len(&self) -> usize {
-        self.0.len()
-    }
-
     pub fn count_ones(&self) -> usize {
         self.0.count_ones()
     }