From e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 26 Mar 2008 08:01:00 -0700
Subject: Version abc80326

---
 src/aig/bdc/bdcCore.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/aig/bdc')

diff --git a/src/aig/bdc/bdcCore.c b/src/aig/bdc/bdcCore.c
index 67b6bcdc..d7811f82 100644
--- a/src/aig/bdc/bdcCore.c
+++ b/src/aig/bdc/bdcCore.c
@@ -212,6 +212,11 @@ int Bdc_ManDecompose( Bdc_Man_t * p, unsigned * puFunc, unsigned * puCare, int n
     p->nWords = Kit_TruthWordNum( nVars );
     p->nNodesMax = nNodesMax;
     Bdc_ManPrepare( p, vDivs );
+    if ( puCare && Kit_TruthIsConst0( puCare, nVars ) )
+    {
+        p->pRoot = Bdc_Not(p->pNodes);
+        return 0;
+    }
     // copy the function
     Bdc_IsfStart( p, pIsf );
     if ( puCare )
-- 
cgit v1.2.3