src/aig/ioa/ioa.h

Go to the documentation of this file.

#ifndef __IOA_H__
#define __IOA_H__

#ifdef __cplusplus
extern "C" {
#endif 


#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include <time.h>

#include "vec.h"
#include "bar.h"
#include "aig.h"






/*=== 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

---