abc70930: src/aig/csw/csw.h Source File

00001 
00021 #ifndef __CSW_H__
00022 #define __CSW_H__
00023 
00024 #ifdef __cplusplus
00025 extern "C" {
00026 #endif 
00027 
00031 
00035 
00039 
00040 
00044 
00048 
00052 
00053 /*=== cnfCore.c ========================================================*/
00054 extern Aig_Man_t *     Csw_Sweep( Aig_Man_t * pAig, int nCutsMax, int nLeafMax, int fVerbose );
00055 
00056 #ifdef __cplusplus
00057 }
00058 #endif
00059 
00060 #endif
00061 
00065