ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
util_hack.h File Reference
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include <math.h>
#include "abc_global.h"
Include dependency graph for util_hack.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define NIL(type)
 
#define util_cpu_time   Extra_CpuTime
 
#define getSoftDataLimit   Extra_GetSoftDataLimit
 
#define MMoutOfMemory   Extra_UtilMMoutOfMemory
 

Functions

abctime Extra_CpuTime ()
 
int Extra_GetSoftDataLimit ()
 FUNCTION DEFINITIONS ///.
 

Variables

void(* Extra_UtilMMoutOfMemory )(long size)
 

Macro Definition Documentation

◆ getSoftDataLimit

#define getSoftDataLimit   Extra_GetSoftDataLimit

Definition at line 37 of file util_hack.h.

◆ MMoutOfMemory

#define MMoutOfMemory   Extra_UtilMMoutOfMemory

Definition at line 38 of file util_hack.h.

◆ NIL

#define NIL ( type)
Value:
((type *) 0)
type
CUBE COVER and CUBE typedefs ///.
Definition exor.h:90

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.

◆ util_cpu_time

#define util_cpu_time   Extra_CpuTime

Definition at line 36 of file util_hack.h.

Function Documentation

◆ Extra_CpuTime()

abctime Extra_CpuTime ( )
extern

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

Synopsis [util_cpu_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 364 of file extraUtilUtil.c.

365{
366 return Abc_Clock();
367}

◆ Extra_GetSoftDataLimit()

int Extra_GetSoftDataLimit ( )
extern

FUNCTION DEFINITIONS ///.

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

Synopsis [getSoftDataLimit()]

Description []

SideEffects []

SeeAlso []

Definition at line 64 of file extraUtilUtil.c.

65{
67}
#define EXTRA_RLIMIT_DATA_DEFAULT
DECLARATIONS ///.

Variable Documentation

◆ Extra_UtilMMoutOfMemory

void(* Extra_UtilMMoutOfMemory) (long size) ( long size)
extern

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

Synopsis [MMoutOfMemory()]

Description []

SideEffects []

SeeAlso []

Definition at line 350 of file extraUtilUtil.c.