diff options
Diffstat (limited to 'abc70930/src/aig/ioa/ioa.h')
| -rw-r--r-- | abc70930/src/aig/ioa/ioa.h | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/abc70930/src/aig/ioa/ioa.h b/abc70930/src/aig/ioa/ioa.h deleted file mode 100644 index 3458d12e..00000000 --- a/abc70930/src/aig/ioa/ioa.h +++ /dev/null @@ -1,80 +0,0 @@ -/**CFile**************************************************************** - - FileName [ioa.h] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [AIG package.] - - Synopsis [External declarations.] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - April 28, 2007.] - - Revision [$Id: ioa.h,v 1.00 2007/04/28 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#ifndef __IOA_H__ -#define __IOA_H__ - -#ifdef __cplusplus -extern "C" { -#endif - -//////////////////////////////////////////////////////////////////////// -/// INCLUDES /// -//////////////////////////////////////////////////////////////////////// - -#include <stdio.h> -#include <stdlib.h> -#include <string.h> -#include <assert.h> -#include <time.h> - -#include "vec.h" -#include "bar.h" -#include "aig.h" - -//////////////////////////////////////////////////////////////////////// -/// PARAMETERS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// BASIC TYPES /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// MACRO DEFINITIONS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// ITERATORS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -/*=== ioaReadAig.c ========================================================*/ -extern Aig_Man_t * Ioa_ReadAiger( char * pFileName, int fCheck ); -/*=== ioaWriteAig.c =======================================================*/ -extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols ); -/*=== ioaUtil.c =======================================================*/ -extern int Ioa_FileSize( char * pFileName ); -extern char * Ioa_FileNameGeneric( char * FileName ); -extern char * Ioa_TimeStamp(); - -#ifdef __cplusplus -} -#endif - -#endif - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - |