diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-26 08:36:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-26 08:36:05 -0700 |
| commit | 27383e8be2b40067db6367c4494fef71b57d7577 (patch) | |
| tree | 70600fb11e2c85005082a5bb3ed71aa0537ea9a4 /src/base/abci | |
| parent | 794b4cd8ce1266d5b85f5fc187605915588c1c22 (diff) | |
| download | abc-27383e8be2b40067db6367c4494fef71b57d7577.tar.gz abc-27383e8be2b40067db6367c4494fef71b57d7577.tar.bz2 abc-27383e8be2b40067db6367c4494fef71b57d7577.zip | |
Updated version of LMS code.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcRec2.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c index 169ce1b4..352cf0e5 100644 --- a/src/base/abci/abcRec2.c +++ b/src/base/abci/abcRec2.c @@ -470,7 +470,7 @@ void Abc_NtkRecMarkNonDanglingNodes(Gia_Man_t * pGia) Gia_Obj_t * pObj, * pFanin; int i; int Id; - int counter = 0; +// int counter = 0; Gia_ManForEachObj(pGia, pObj, i) { if (pObj->fMark1 == 1) @@ -1031,7 +1031,7 @@ void Abc_NtkRecStart2( Gia_Man_t * pGia, int nVars, int nCuts, int fTrim ) Gia_Obj_t * pObj, *pFanin; int * ppSpot; unsigned * pTruth; - int i, j = 0; + int i;//, j = 0; int clkTotal = clock(), clk, timeInsert; assert( s_pMan == NULL ); @@ -1469,7 +1469,7 @@ int Abc_NtkRecAddCut2( If_Man_t * pIfMan, If_Obj_t * pRoot, If_Cut_t * pCut ) static int s_MaxSize[16] = { 0 }; char pCanonPerm[16]; Gia_Obj_t * pObj = NULL, *pPO; - int iFanin0, iFanin1, iRecObj; + int iFanin0, iFanin1, iRecObj = -1; int * ppSpot, lit;//, test; Gia_Man_t * pAig = s_pMan->pGia; If_Obj_t * pIfObj; |