diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-13 11:44:12 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-13 11:44:12 +0300 |
| commit | 1f93bfb9afdc1fbf694204417b870260f592240a (patch) | |
| tree | f491f4ff70f0567474d983d9d4211b573caf212e /src/opt | |
| parent | 62638df9331e81d4f5c8218084120d82093ad0e0 (diff) | |
| download | abc-1f93bfb9afdc1fbf694204417b870260f592240a.tar.gz abc-1f93bfb9afdc1fbf694204417b870260f592240a.tar.bz2 abc-1f93bfb9afdc1fbf694204417b870260f592240a.zip | |
Expriments with functions (cleanup).
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 12f95afa..52e0c487 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -620,8 +620,8 @@ int Dau_InsertFunction( Abc_TtHieMan_t * pMan, word * pCur, int nNodes, int nInp int DumpDelta = 1000000; char Perm[16] = {0}; int nVarsNew = Abc_TtMinBase( pCur, NULL, nVars, nInputs ); - //unsigned Phase = Abc_TtCanonicizeHie( pMan, pCur, nVarsNew, Perm, 1 ); - unsigned Phase = Dau_RunNpn( pMan, pCur, nVarsNew, Perm ); + unsigned Phase = Abc_TtCanonicizeHie( pMan, pCur, nVarsNew, Perm, 1 ); + //unsigned Phase = Dau_RunNpn( pMan, pCur, nVarsNew, Perm ); int nEntries = Vec_MemEntryNum(vTtMem); int Entry = Vec_MemHashInsert( vTtMem, pCur ); if ( nEntries == Vec_MemEntryNum(vTtMem) ) // found in the table - not new |