diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-11 20:18:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-11 20:18:02 -0800 |
| commit | a4aaf110adca0fd9175b90c163d21455fa2d0210 (patch) | |
| tree | b006a18c4b052481c9dda35f6a478dbf71e1301f /src/opt/dec | |
| parent | 759c6596a51eda2b02d2b79c1ee428cbe4a44061 (diff) | |
| download | abc-a4aaf110adca0fd9175b90c163d21455fa2d0210.tar.gz abc-a4aaf110adca0fd9175b90c163d21455fa2d0210.tar.bz2 abc-a4aaf110adca0fd9175b90c163d21455fa2d0210.zip | |
Exploration of Sasao's decomposition and minor improvements.
Diffstat (limited to 'src/opt/dec')
| -rw-r--r-- | src/opt/dec/decFactor.c | 4 |
1 files changed, 2 insertions, 2 deletions
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"); |