1 /**CFile**************************************************************** 2 3 FileName [util_hack.h] 4 5 SystemName [ABC: Logic synthesis and verification system.] 6 7 PackageName [This file is used to simulate the presence of "util.h".] 8 9 Synopsis [External declarations.] 10 11 Author [Alan Mishchenko] 12 13 Affiliation [UC Berkeley] 14 15 Date [Ver. 1.0. Started - June 20, 2005.] 16 17 Revision [$Id: util_hack.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] 18 19 ***********************************************************************/ 20 21 #ifndef ABC__misc__util__util_hack_h 22 #define ABC__misc__util__util_hack_h 23 24 #include <stdio.h> 25 #include <stdlib.h> 26 #include <string.h> 27 #include <assert.h> 28 #include <math.h> 29 30 #include "abc_global.h" 31 32 ABC_NAMESPACE_HEADER_START 33 34 #define NIL(type) ((type *) 0) 35 36 #define util_cpu_time Extra_CpuTime 37 #define getSoftDataLimit Extra_GetSoftDataLimit 38 #define MMoutOfMemory Extra_UtilMMoutOfMemory 39 40 extern abctime Extra_CpuTime(); 41 extern int Extra_GetSoftDataLimit(); 42 extern void (*Extra_UtilMMoutOfMemory)( long size ); 43 44 ABC_NAMESPACE_HEADER_END 45 46 #endif 47