diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-21 04:30:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-21 04:30:10 -0800 |
| commit | 8014f25f6db719fa62336f997963532a14c568f6 (patch) | |
| tree | c691ee91a3a2d452a2bd24ac89a8c717beaa7af7 /src/aig/ioa | |
| parent | c44cc5de9429e6b4f1c05045fcf43c9cb96437b5 (diff) | |
| download | abc-8014f25f6db719fa62336f997963532a14c568f6.tar.gz abc-8014f25f6db719fa62336f997963532a14c568f6.tar.bz2 abc-8014f25f6db719fa62336f997963532a14c568f6.zip | |
Major restructuring of the code.
Diffstat (limited to 'src/aig/ioa')
| -rw-r--r-- | src/aig/ioa/ioa.h | 8 | ||||
| -rw-r--r-- | src/aig/ioa/ioaReadAig.c | 4 | ||||
| -rw-r--r-- | src/aig/ioa/ioaUtil.c | 2 |
3 files changed, 7 insertions, 7 deletions
diff --git a/src/aig/ioa/ioa.h b/src/aig/ioa/ioa.h index 46dbda09..b86bc13a 100644 --- a/src/aig/ioa/ioa.h +++ b/src/aig/ioa/ioa.h @@ -18,8 +18,8 @@ ***********************************************************************/ -#ifndef __IOA_H__ -#define __IOA_H__ +#ifndef ABC__aig__ioa__ioa_h +#define ABC__aig__ioa__ioa_h //////////////////////////////////////////////////////////////////////// @@ -32,9 +32,9 @@ #include <assert.h> #include <time.h> -#include "vec.h" +#include "src/misc/vec/vec.h" //#include "bar.h" -#include "aig.h" +#include "src/aig/aig/aig.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// diff --git a/src/aig/ioa/ioaReadAig.c b/src/aig/ioa/ioaReadAig.c index 17c93e58..a1f09edf 100644 --- a/src/aig/ioa/ioaReadAig.c +++ b/src/aig/ioa/ioaReadAig.c @@ -392,7 +392,7 @@ Aig_Man_t * Ioa_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck pCur++; // read model name ABC_FREE( pNew->pName ); - pNew->pName = Aig_UtilStrsav( pCur ); + pNew->pName = Abc_UtilStrsav( pCur ); } } @@ -447,7 +447,7 @@ Aig_Man_t * Ioa_ReadAiger( char * pFileName, int fCheck ) if ( pNew ) { pName = Ioa_FileNameGeneric( pFileName ); - pNew->pName = Aig_UtilStrsav( pName ); + pNew->pName = Abc_UtilStrsav( pName ); // pNew->pSpec = Ioa_UtilStrsav( pFileName ); ABC_FREE( pName ); } diff --git a/src/aig/ioa/ioaUtil.c b/src/aig/ioa/ioaUtil.c index 06034956..a2748382 100644 --- a/src/aig/ioa/ioaUtil.c +++ b/src/aig/ioa/ioaUtil.c @@ -73,7 +73,7 @@ int Ioa_FileSize( char * pFileName ) char * Ioa_FileNameGeneric( char * FileName ) { char * pDot, * pRes; - pRes = Aig_UtilStrsav( FileName ); + pRes = Abc_UtilStrsav( FileName ); if ( (pDot = strrchr( pRes, '.' )) ) *pDot = 0; return pRes; |