feat: refactor statistics to create serialisable data structures

SoftVarE-Group · Jan 27, 2025 · 2942620 · 2942620
1 parent ed56a74
commit 2942620
Show file tree

Hide file tree

Showing 8 changed files with 195 additions and 254 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/ddnnife/Cargo.toml b/ddnnife/Cargo.toml
@@ -30,6 +30,7 @@ rand = "0.8"
 rand_distr = "0.4"
 rand_pcg = "0.3"
 regex = "1.11"
+serde = { version = "1.0", features = ["derive"] }
 streaming-iterator = "0.1"
 tempfile = "3.15"
 uniffi = { workspace = true, optional = true }

diff --git a/ddnnife/src/ddnnf.rs b/ddnnife/src/ddnnf.rs
@@ -2,9 +2,9 @@ pub mod anomalies;
 pub mod clause_cache;
 pub mod counting;
 pub mod extended_ddnnf;
-pub mod heuristics;
 pub mod multiple_queries;
 pub mod node;
+pub mod statistics;
 pub mod stream;
 
 use self::{clause_cache::ClauseCache, node::Node};

diff --git a/ddnnife/src/ddnnf/heuristics.rs b/ddnnife/src/ddnnf/heuristics.rs