abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
util_hack.h File Reference
#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)
 

Macro Definition Documentation

#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 [

Id:
util_hack.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 34 of file util_hack.h.

#define util_cpu_time   Extra_CpuTime

Definition at line 36 of file util_hack.h.

Function Documentation

abctime Extra_CpuTime ( )

Function*************************************************************

Synopsis [util_cpu_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 350 of file extraUtilUtil.c.

351 {
352  return Abc_Clock();
353 }
static abctime Abc_Clock()
Definition: abc_global.h:279
int Extra_GetSoftDataLimit ( )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [getSoftDataLimit()]

Description []

SideEffects []

SeeAlso []

Definition at line 64 of file extraUtilUtil.c.

65 {
67 }
#define EXTRA_RLIMIT_DATA_DEFAULT
DECLARATIONS ///.
Definition: extraUtilUtil.c:31

Variable Documentation

void(* Extra_UtilMMoutOfMemory)(long size)

Function*************************************************************

Synopsis [MMoutOfMemory()]

Description []

SideEffects []

SeeAlso []

Definition at line 336 of file extraUtilUtil.c.