From a4aaf110adca0fd9175b90c163d21455fa2d0210 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 11 Mar 2011 20:18:02 -0800 Subject: Exploration of Sasao's decomposition and minor improvements. --- src/opt/dec/decFactor.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/opt') diff --git a/src/opt/dec/decFactor.c b/src/opt/dec/decFactor.c index 06ccf9ca..8c414915 100644 --- a/src/opt/dec/decFactor.c +++ b/src/opt/dec/decFactor.c @@ -366,12 +366,12 @@ Mvc_Cover_t * Dec_ConvertSopToMvc( char * pSop ) ***********************************************************************/ int Dec_FactorVerify( char * pSop, Dec_Graph_t * pFForm ) { - extern DdNode * Abc_ConvertSopToBdd( DdManager * dd, char * pSop ); + extern DdNode * Abc_ConvertSopToBdd( DdManager * dd, char * pSop, DdNode ** pbVars ); extern DdNode * Dec_GraphDeriveBdd( DdManager * dd, Dec_Graph_t * pGraph ); DdManager * dd = (DdManager *)Abc_FrameReadManDd(); DdNode * bFunc1, * bFunc2; int RetValue; - bFunc1 = Abc_ConvertSopToBdd( dd, pSop ); Cudd_Ref( bFunc1 ); + bFunc1 = Abc_ConvertSopToBdd( dd, pSop, NULL ); Cudd_Ref( bFunc1 ); bFunc2 = Dec_GraphDeriveBdd( dd, pFForm ); Cudd_Ref( bFunc2 ); //Extra_bddPrint( dd, bFunc1 ); printf("\n"); //Extra_bddPrint( dd, bFunc2 ); printf("\n"); -- cgit v1.2.3