ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
util_hack.h
Go to the documentation of this file.
1
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
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
40extern abctime Extra_CpuTime();
41extern int Extra_GetSoftDataLimit();
42extern void (*Extra_UtilMMoutOfMemory)( long size );
43
45
46#endif
ABC_INT64_T abctime
Definition abc_global.h:332
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
void(* Extra_UtilMMoutOfMemory)(long size)
abctime Extra_CpuTime()
int Extra_GetSoftDataLimit()
FUNCTION DEFINITIONS ///.