abcInt.h File Reference

Go to the source code of this file.

Macros
#define	ABC_NUM_STEPS   10
	INCLUDES ///. More...

Macro Definition Documentation

#define ABC_NUM_STEPS   10

INCLUDES ///.

CFile****************************************************************

FileName [abcInt.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Internal declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

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

]PARAMETERS ///

Definition at line 36 of file abcInt.h.