feat: refactor statistics to create serialisable data structures

SoftVarE-Group · Jan 27, 2025 · 8c4138e · 8c4138e
1 parent 02d5695
commit 8c4138e
Show file tree

Hide file tree

Showing 8 changed files with 182 additions and 254 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/ddnnife/Cargo.toml b/ddnnife/Cargo.toml
@@ -28,6 +28,7 @@ petgraph = "0.7"
 rand = "0.8"
 rand_distr = "0.4"
 rand_pcg = "0.3"
+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
@@ -1,9 +1,9 @@
 pub mod anomalies;
 pub mod clause_cache;
 pub mod counting;
-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