diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-22 21:14:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-22 21:14:48 -0800 |
| commit | bcf21e46778f63ab4ce490b57648421a2b4d7e28 (patch) | |
| tree | f35738df6caf0fd31e6cc6560bc529b475246445 /src/bool | |
| parent | 31519bd6d6c9cff4691019f72e0faf72e37bde88 (diff) | |
| download | abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.tar.gz abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.tar.bz2 abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.zip | |
Intersection a bug in rewrite/refactor.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/dec/decAbc.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/bool/dec/decAbc.c b/src/bool/dec/decAbc.c index 6602702c..e440a652 100644 --- a/src/bool/dec/decAbc.c +++ b/src/bool/dec/decAbc.c @@ -237,20 +237,21 @@ int Dec_GraphToNetworkCount( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int NodeMa SeeAlso [] ***********************************************************************/ -void Dec_GraphUpdateNetwork( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int fUpdateLevel, int nGain ) +int Dec_GraphUpdateNetwork( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int fUpdateLevel, int nGain ) { extern Abc_Obj_t * Dec_GraphToNetwork( Abc_Ntk_t * pNtk, Dec_Graph_t * pGraph ); Abc_Obj_t * pRootNew; Abc_Ntk_t * pNtk = pRoot->pNtk; - int nNodesNew, nNodesOld; + int nNodesNew, nNodesOld, RetValue; nNodesOld = Abc_NtkNodeNum(pNtk); // create the new structure of nodes pRootNew = Dec_GraphToNetwork( pNtk, pGraph ); // remove the old nodes - Abc_AigReplace( (Abc_Aig_t *)pNtk->pManFunc, pRoot, pRootNew, fUpdateLevel ); + RetValue = Abc_AigReplace( (Abc_Aig_t *)pNtk->pManFunc, pRoot, pRootNew, fUpdateLevel ); // compare the gains nNodesNew = Abc_NtkNodeNum(pNtk); //assert( nGain <= nNodesOld - nNodesNew ); + return RetValue; } |