From c0c05b27895973691f8e9a87ac29a227ac775590 Mon Sep 17 00:00:00 2001
From: drwadu <dominik.rusovac@hotmail.com>
Date: Tue, 5 Apr 2022 11:50:21 +0200
Subject: [PATCH] dbg args in target function.

---
 lib/src/adf.rs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/lib/src/adf.rs b/lib/src/adf.rs
index f7a2d16..a1a4c5b 100644
--- a/lib/src/adf.rs
+++ b/lib/src/adf.rs
@@ -388,6 +388,7 @@ impl Adf {
     }
 
     fn two_val_model_counts(&mut self, interpr: &[Term]) -> Vec<Vec<Term>> {
+        // base case
         self.two_val_model_counts_logic(interpr, &vec![Term::UND; interpr.len()], 0)
     }
 
@@ -397,7 +398,22 @@ impl Adf {
         will_be: &[Term],
         depth: usize,
     ) -> Vec<Vec<Term>> {
+        log::debug!("interpr: {:?}", &interpr);
+
+        #[cfg(feature = "debug")]
+        interpr.iter().enumerate().for_each(|(i, t)| {
+            log::debug!("idx={:?} paths: {:?}", i, self.bdd.paths(t, true));
+            log::debug!(
+                "idx={:?} var_impact: {:?}",
+                i,
+                self.bdd.var_impact(Var(i), &interpr)
+            );
+            log::debug!("idx={:?} max_depth: {:?}", i, self.bdd.max_depth(t));
+        });
+
+        log::debug!("will_be: {:?}", &will_be);
         log::debug!("two_val_model_recursion_depth: {}/{}", depth, interpr.len());
+
         if let Some((idx, ac)) = interpr
             .iter()
             .enumerate()