Experimental resubstitution.

1 files changed, 0 insertions, 83 deletions

diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c
index f9539faf..00581de8 100644
--- a/src/aig/gia/giaSimBase.c
+++ b/src/aig/gia/giaSimBase.c
@@ -306,89 +306,6 @@ Gia_Man_t * Gia_ManSimPatGenMiter( Gia_Man_t * p, Vec_Wrd_t * vSims )
 }
 
 
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Gia_ManSimPatWriteOne( FILE * pFile, word * pSim, int nWords )
-{
-    int k, Digit, nDigits = nWords*16;
-    for ( k = 0; k < nDigits; k++ )
-    {
-        Digit = (int)((pSim[k/16] >> ((k%16) * 4)) & 15);
-        if ( Digit < 10 )
-            fprintf( pFile, "%d", Digit );
-        else
-            fprintf( pFile, "%c", 'A' + Digit-10 );
-    }
-    fprintf( pFile, "\n" );
-}
-void Gia_ManSimPatWrite( char * pFileName, Vec_Wrd_t * vSimsIn, int nWords )
-{
-    int i, nNodes = Vec_WrdSize(vSimsIn) / nWords;
-    FILE * pFile = fopen( pFileName, "wb" );
-    if ( pFile == NULL )
-    {
-        printf( "Cannot open file \"%s\" for writing.\n", pFileName );
-        return;
-    }
-    assert( Vec_WrdSize(vSimsIn) % nWords == 0 );
-    for ( i = 0; i < nNodes; i++ )
-        Gia_ManSimPatWriteOne( pFile, Vec_WrdEntryP(vSimsIn, i*nWords), nWords );
-    fclose( pFile );
-    printf( "Written %d words of simulation data for %d objects into file \"%s\".\n", nWords, Vec_WrdSize(vSimsIn)/nWords, pFileName );
-}
-int Gia_ManSimPatReadOne( char c )
-{
-    int Digit = 0;
-    if ( c >= '0' && c <= '9' )
-        Digit = c - '0';
-    else if ( c >= 'A' && c <= 'F' )
-        Digit = c - 'A' + 10;
-    else if ( c >= 'a' && c <= 'f' )
-        Digit = c - 'a' + 10;
-    else assert( 0 );
-    assert( Digit >= 0 && Digit < 16 );
-    return Digit;
-}
-Vec_Wrd_t * Gia_ManSimPatRead( char * pFileName, int * pnWords )
-{
-    Vec_Wrd_t * vSimsIn = NULL; 
-    int c, nWords = -1, nChars = 0; word Num = 0;
-    FILE * pFile = fopen( pFileName, "rb" );
-    if ( pFile == NULL )
-    {
-        printf( "Cannot open file \"%s\" for reading.\n", pFileName );
-        return NULL;
-    }
-    vSimsIn = Vec_WrdAlloc( 1000 );
-    while ( (c = fgetc(pFile)) != EOF )
-    {
-        if ( c == '\n' && nWords == -1 )
-            nWords = Vec_WrdSize(vSimsIn);
-        if ( c == '\n' || c == '\r' || c == '\t' || c == ' ' )
-            continue;
-        Num |= (word)Gia_ManSimPatReadOne((char)c) << (nChars * 4);
-        if ( ++nChars < 16 )
-            continue;
-        Vec_WrdPush( vSimsIn, Num );
-        nChars = 0; 
-        Num = 0;
-    }
-    assert( Vec_WrdSize(vSimsIn) % nWords == 0 );
-    fclose( pFile );
-    printf( "Read %d words of simulation data for %d objects.\n", nWords, Vec_WrdSize(vSimsIn)/nWords );
-    if ( pnWords )
-        *pnWords = nWords;
-    return vSimsIn;
-}
 
 /**Function*************************************************************