diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-18 13:38:37 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-18 13:38:37 -0700 |
commit | 1e5d826c4c244db0bca7b3be90d59e703cc9300f (patch) | |
tree | aeb9624c52f935f1109abdc83d0dc3ad2d0cf94a /src/base/abci/abcUnate.c | |
parent | 1ccf3218f05c1cc7b4a69fd41103674e45fdcba4 (diff) | |
download | abc-1e5d826c4c244db0bca7b3be90d59e703cc9300f.tar.gz abc-1e5d826c4c244db0bca7b3be90d59e703cc9300f.tar.bz2 abc-1e5d826c4c244db0bca7b3be90d59e703cc9300f.zip |
Code for structural unateness checking.
Diffstat (limited to 'src/base/abci/abcUnate.c')
-rw-r--r-- | src/base/abci/abcUnate.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abci/abcUnate.c b/src/base/abci/abcUnate.c index 97b36fbe..63003237 100644 --- a/src/base/abci/abcUnate.c +++ b/src/base/abci/abcUnate.c @@ -103,7 +103,10 @@ clkBdd = Abc_Clock() - clk; // p = Extra_UnateComputeSlow( dd, pbGlobal[i] ); p = Extra_UnateComputeSlow( dd, (DdNode *)Abc_ObjGlobalBdd(pNode) ); if ( fVerbose ) + { + printf( "Out%4d : ", i ); Extra_UnateInfoPrint( p ); + } TotalSupps += p->nVars; TotalUnate += p->nUnate; Extra_UnateInfoDissolve( p ); @@ -119,7 +122,10 @@ clkBdd = Abc_Clock() - clk; // p = Extra_UnateComputeFast( dd, pbGlobal[i] ); p = Extra_UnateComputeFast( dd, (DdNode *)Abc_ObjGlobalBdd(pNode) ); if ( fVerbose ) + { + printf( "Out%4d : ", i ); Extra_UnateInfoPrint( p ); + } TotalSupps += p->nVars; TotalUnate += p->nUnate; Extra_UnateInfoDissolve( p ); |