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