add example::{x1x2, x3}

shnarazk · Feb 1, 2024 · 95da073 · 95da073
1 parent b8c61eb
commit 95da073
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/dd.rs b/src/dd.rs
@@ -397,4 +397,18 @@ pub mod example {
             ),
         }
     }
+    // From Figure 7 of Randal E. Bryant, Graph-Based Algorithms for Boolean
+    // Function Manipulation, IEEE Trans. en Comp., C-35-8, pp.677-691, Aug. 1986.
+    pub fn x1x2() -> DDT {
+        DDT {
+            graph: D!(1, D!(2, T!(), F!()), D!(3, F!(), T!())),
+        }
+    }
+    // From  Figure 7 of Randal E. Bryant, Graph-Based Algorithms for Boolean
+    // Function Manipulation, IEEE Trans. en Comp., C-35-8, pp.677-691, Aug. 1986.
+    pub fn x3() -> DDT {
+        DDT {
+            graph: D!(3, F!(), T!()),
+        }
+    }
 }