From e30dae5a61fa41666c28917d9fcc8de522c34074 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 31 Jan 2015 15:10:01 -0800 Subject: Preprocessing for multi-output PLA tables. --- src/base/io/ioReadPla.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src') 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] ); } -- cgit v1.2.3