Moving binary IO streams to the vector package.

1 files changed, 0 insertions, 115 deletions

diff --git a/src/map/scl/sclFile.c b/src/map/scl/sclFile.c
index dd5dff47..395bcf3b 100644
--- a/src/map/scl/sclFile.c
+++ b/src/map/scl/sclFile.c
@@ -35,121 +35,6 @@ extern void Extra_PrintHex( FILE * pFile, unsigned Sign[], int nBits );
 
 /**Function*************************************************************
 
-  Synopsis    [Binary I/O for numbers (int/float/etc) and strings (char *).]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-static inline void Vec_StrPutI_ne( Vec_Str_t * vOut, int Val )
-{
-    int i;
-    for ( i = 0; i < 4; i++ )
-        Vec_StrPush( vOut, (char)(Val >> (8*i)) );
-}
-static inline int Vec_StrGetI_ne( Vec_Str_t * vOut, int * pPos )
-{
-    int i;
-    int Val = 0;
-    for ( i = 0; i < 4; i++ )
-        Val |= (int)(unsigned char)Vec_StrEntry(vOut, (*pPos)++) << (8*i);
-    return Val;
-}
-
-static inline void Vec_StrPutI( Vec_Str_t * vOut, int Val )
-{
-    for ( ; Val >= 0x80; Val >>= 7 )
-        Vec_StrPush( vOut, (unsigned char)(Val | 0x80) );
-    Vec_StrPush( vOut, (unsigned char)Val );
-}
-static inline int Vec_StrGetI( Vec_Str_t * vOut, int * pPos )
-{
-    unsigned char ch;
-    int i = 0, Val = 0;
-    while ( (ch = Vec_StrEntry(vOut, (*pPos)++)) & 0x80 )
-        Val |= (ch & 0x7f) << (7 * i++);
-    return Val | (ch << (7 * i));
-}
-
-static inline void Vec_StrPutW( Vec_Str_t * vOut, word Val )
-{
-    int i;
-    for ( i = 0; i < 8; i++ )
-        Vec_StrPush( vOut, (char)(Val >> (8*i)) );
-}
-static inline word Vec_StrGetW( Vec_Str_t * vOut, int * pPos )
-{
-    int i;
-    word Val = 0;
-    for ( i = 0; i < 8; i++ )
-        Val |= (word)(unsigned char)Vec_StrEntry(vOut, (*pPos)++) << (8*i);
-    return Val;
-}
-
-static inline void Vec_StrPutF( Vec_Str_t * vOut, float Val )
-{
-    union { float num; unsigned char data[4]; } tmp;
-    tmp.num = Val;
-    Vec_StrPush( vOut, tmp.data[0] );
-    Vec_StrPush( vOut, tmp.data[1] );
-    Vec_StrPush( vOut, tmp.data[2] );
-    Vec_StrPush( vOut, tmp.data[3] );
-}
-static inline float Vec_StrGetF( Vec_Str_t * vOut, int * pPos )
-{
-    union { float num; unsigned char data[4]; } tmp;
-    tmp.data[0] = Vec_StrEntry( vOut, (*pPos)++ );
-    tmp.data[1] = Vec_StrEntry( vOut, (*pPos)++ );
-    tmp.data[2] = Vec_StrEntry( vOut, (*pPos)++ );
-    tmp.data[3] = Vec_StrEntry( vOut, (*pPos)++ );
-    return tmp.num;
-}
-
-static inline void Vec_StrPutD( Vec_Str_t * vOut, double Val )
-{
-    union { double num; unsigned char data[8]; } tmp;
-    int i, Lim = sizeof(double);
-    tmp.num = Val;
-    for ( i = 0; i < Lim; i++ )
-        Vec_StrPush( vOut, tmp.data[i] );
-}
-static inline double Vec_StrGetD( Vec_Str_t * vOut, int * pPos )
-{
-    union { double num; unsigned char data[8]; } tmp;
-    int i, Lim = sizeof(double);
-    for ( i = 0; i < Lim; i++ )
-        tmp.data[i] = Vec_StrEntry( vOut, (*pPos)++ );
-    return tmp.num;
-}
-
-static inline void Vec_StrPutS( Vec_Str_t * vOut, char * pStr )
-{
-    while ( *pStr )
-        Vec_StrPush( vOut, *pStr++ );
-    Vec_StrPush( vOut, (char)0 );
-}
-static inline char * Vec_StrGetS( Vec_Str_t * vOut, int * pPos )
-{
-    char * pStr = Vec_StrEntryP( vOut, *pPos );
-    while ( Vec_StrEntry(vOut, (*pPos)++) );
-    return Abc_UtilStrsav(pStr);
-}
-
-static inline void Vec_StrPutC( Vec_Str_t * vOut, char c )
-{
-    Vec_StrPush( vOut, c );
-}
-static inline char Vec_StrGetC( Vec_Str_t * vOut, int * pPos )
-{
-    return Vec_StrEntry(vOut, (*pPos)++);
-}
-
-
-/**Function*************************************************************
-
   Synopsis    [Reading library from file.]
 
   Description []