diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-16 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-16 08:01:00 -0800 |
| commit | 126637ddd3c237d9c83f3a7f2b1f3f2722337411 (patch) | |
| tree | bcc45e2a3b8cde987c42e85edeca3e64ba417456 /src/base/abci/abcRefactor.c | |
| parent | 65687f72ae77440628c21d63966656c1049c4981 (diff) | |
| download | abc-126637ddd3c237d9c83f3a7f2b1f3f2722337411.tar.gz abc-126637ddd3c237d9c83f3a7f2b1f3f2722337411.tar.bz2 abc-126637ddd3c237d9c83f3a7f2b1f3f2722337411.zip | |
Version abc71216
Diffstat (limited to 'src/base/abci/abcRefactor.c')
| -rw-r--r-- | src/base/abci/abcRefactor.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcRefactor.c b/src/base/abci/abcRefactor.c index d2b77ed2..b925f1b9 100644 --- a/src/base/abci/abcRefactor.c +++ b/src/base/abci/abcRefactor.c @@ -84,6 +84,7 @@ static Dec_Graph_t * Abc_NodeRefactor( Abc_ManRef_t * p, Abc_Obj_t * pNode, Vec ***********************************************************************/ int Abc_NtkRefactor( Abc_Ntk_t * pNtk, int nNodeSizeMax, int nConeSizeMax, bool fUpdateLevel, bool fUseZeros, bool fUseDcs, bool fVerbose ) { + extern void Dec_GraphUpdateNetwork( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, bool fUpdateLevel, int nGain ); ProgressBar * pProgress; Abc_ManRef_t * pManRef; Abc_ManCut_t * pManCut; @@ -183,6 +184,7 @@ pManRef->timeTotal = clock() - clkStart; ***********************************************************************/ Dec_Graph_t * Abc_NodeRefactor( Abc_ManRef_t * p, Abc_Obj_t * pNode, Vec_Ptr_t * vFanins, bool fUpdateLevel, bool fUseZeros, bool fUseDcs, bool fVerbose ) { + extern int Dec_GraphToNetworkCount( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int NodeMax, int LevelMax ); int fVeryVerbose = 0; Abc_Obj_t * pFanin; Dec_Graph_t * pFForm; |