Adjust cache operator arity for B(C)DDs for efficient ITE (and substi…

…tute)
OxiDD · May 27, 2024 · 67dc683 · 67dc683
1 parent c6e72f9
commit 67dc683
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crates/oxidd/src/bcdd.rs b/crates/oxidd/src/bcdd.rs
@@ -58,7 +58,7 @@ mod index {
         terminals: 1,
     });
 
-    crate::util::manager_data!(BCDDManagerData for BCDD, operator: BCDDOp, cache_max_arity: 2);
+    crate::util::manager_data!(BCDDManagerData for BCDD, operator: BCDDOp, cache_max_arity: 3);
 
     crate::util::manager_ref_index_based!(pub struct BCDDManagerRef(<BCDD as DD>::ManagerRef) with BCDDManagerData);
 

diff --git a/crates/oxidd/src/bdd.rs b/crates/oxidd/src/bdd.rs
@@ -57,7 +57,7 @@ mod index {
         terminals: 2,
     });
 
-    crate::util::manager_data!(BDDManagerData for BDD, operator: BDDOp, cache_max_arity: 2);
+    crate::util::manager_data!(BDDManagerData for BDD, operator: BDDOp, cache_max_arity: 3);
 
     crate::util::manager_ref_index_based!(pub struct BDDManagerRef(<BDD as DD>::ManagerRef) with BDDManagerData);