diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-31 15:10:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-31 15:10:01 -0800 |
| commit | e30dae5a61fa41666c28917d9fcc8de522c34074 (patch) | |
| tree | ed39ecc5d5ca56ff614e0a121ed82160aa733aee | |
| parent | 13cd3a6a4cd424a585ebabd16140cca092606b01 (diff) | |
| download | abc-e30dae5a61fa41666c28917d9fcc8de522c34074.tar.gz abc-e30dae5a61fa41666c28917d9fcc8de522c34074.tar.bz2 abc-e30dae5a61fa41666c28917d9fcc8de522c34074.zip | |
Preprocessing for multi-output PLA tables.
| -rw-r--r-- | src/base/io/ioReadPla.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/base/io/ioReadPla.c b/src/base/io/ioReadPla.c index 7cdd3e3f..79133dc1 100644 --- a/src/base/io/ioReadPla.c +++ b/src/base/io/ioReadPla.c @@ -300,7 +300,7 @@ void Io_ReadPlaCubePreprocess( Vec_Str_t * vSop, int iCover, int fVerbose ) if ( fVerbose ) printf( " C%d =%5d", Iter, nCubes ); // try consensus - Count = Io_ReadPlaSelfSubsumption( pCs, nCubes, nWords, vMarks ); + //Count = Io_ReadPlaSelfSubsumption( pCs, nCubes, nWords, vMarks ); if ( fVerbose ) printf( "%4d", Count ); } while ( Count ); @@ -553,8 +553,6 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_FileReader_t * p, int fZeros ) } Vec_StrPush( ppSops[i], 0 ); Io_ReadPlaCubePreprocess( ppSops[i], i, 0 ); - //Io_ReadPlaCubePreprocess( ppSops[i], i, 1 ); - //printf( "\n" ); pNode->pData = Abc_SopRegister( (Mem_Flex_t *)pNtk->pManFunc, ppSops[i]->pArray ); Vec_StrFree( ppSops[i] ); } |