diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 00:45:22 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 00:45:22 -0700 |
commit | 9268c100237e67b404c6528bf435d1f60f185329 (patch) | |
tree | d342e61e36a234b9e54708a2688604b9a5489510 /src/opt/mfs | |
parent | d5234332fb29b7b50220df6a09d913d6832a425c (diff) | |
download | abc-9268c100237e67b404c6528bf435d1f60f185329.tar.gz abc-9268c100237e67b404c6528bf435d1f60f185329.tar.bz2 abc-9268c100237e67b404c6528bf435d1f60f185329.zip |
New MFS package.
Diffstat (limited to 'src/opt/mfs')
-rw-r--r-- | src/opt/mfs/mfsCore.c | 4 | ||||
-rw-r--r-- | src/opt/mfs/mfsCore_.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/mfs/mfsCore.c b/src/opt/mfs/mfsCore.c index fe7a1852..9e50333f 100644 --- a/src/opt/mfs/mfsCore.c +++ b/src/opt/mfs/mfsCore.c @@ -101,7 +101,7 @@ int Abc_WinNode(Mfs_Man_t * p, Abc_Obj_t *pNode) return 1; // compute the divisors of the window p->vDivs = Abc_MfsComputeDivisors( p, pNode, Abc_ObjRequiredLevel(pNode) - 1 ); - p->nTotalDivs += Vec_PtrSize(p->vDivs); + p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); // construct AIG for the window p->pAigWin = Abc_NtkConstructAig( p, pNode ); // translate it into CNF @@ -250,7 +250,7 @@ p->timeWin += clock() - clk; // compute the divisors of the window clk = clock(); p->vDivs = Abc_MfsComputeDivisors( p, pNode, Abc_ObjRequiredLevel(pNode) - 1 ); - p->nTotalDivs += Vec_PtrSize(p->vDivs); + p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); p->timeDiv += clock() - clk; // construct AIG for the window clk = clock(); diff --git a/src/opt/mfs/mfsCore_.c b/src/opt/mfs/mfsCore_.c index ceee04cf..49105da6 100644 --- a/src/opt/mfs/mfsCore_.c +++ b/src/opt/mfs/mfsCore_.c @@ -89,7 +89,7 @@ p->timeWin += clock() - clk; // compute the divisors of the window clk = clock(); p->vDivs = Abc_MfsComputeDivisors( p, pNode, Abc_ObjRequiredLevel(pNode) - 1 ); - p->nTotalDivs += Vec_PtrSize(p->vDivs); + p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); p->timeDiv += clock() - clk; // construct AIG for the window clk = clock(); |