abc-master
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include <math.h>
#include "abc_global.h"
Go to the source code of this file.
Macros | |
#define | NIL(type) ((type *) 0) |
#define | util_cpu_time Extra_CpuTime |
#define | getSoftDataLimit Extra_GetSoftDataLimit |
#define | MMoutOfMemory Extra_UtilMMoutOfMemory |
Functions | |
abctime | Extra_CpuTime () |
int | Extra_GetSoftDataLimit () |
FUNCTION DEFINITIONS ///. More... | |
Variables | |
void(* | Extra_UtilMMoutOfMemory )(long size) |
#define getSoftDataLimit Extra_GetSoftDataLimit |
Definition at line 37 of file util_hack.h.
#define MMoutOfMemory Extra_UtilMMoutOfMemory |
Definition at line 38 of file util_hack.h.
#define NIL | ( | type | ) | ((type *) 0) |
CFile****************************************************************
FileName [util_hack.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [This file is used to simulate the presence of "util.h".]
Synopsis [External declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
Definition at line 34 of file util_hack.h.
#define util_cpu_time Extra_CpuTime |
Definition at line 36 of file util_hack.h.
abctime Extra_CpuTime | ( | ) |
Function*************************************************************
Synopsis [util_cpu_time()]
Description []
SideEffects []
SeeAlso []
Definition at line 350 of file extraUtilUtil.c.
int Extra_GetSoftDataLimit | ( | ) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [getSoftDataLimit()]
Description []
SideEffects []
SeeAlso []
Definition at line 64 of file extraUtilUtil.c.
void(* Extra_UtilMMoutOfMemory)(long size) |
Function*************************************************************
Synopsis [MMoutOfMemory()]
Description []
SideEffects []
SeeAlso []
Definition at line 336 of file extraUtilUtil.c.