63 p->pConst1->fPhase = 1;
67 p->nTableSize = 10007;
98 if ( p->time1 ) {
ABC_PRT(
"time1", p->time1 ); }
99 if ( p->time2 ) {
ABC_PRT(
"time2", p->time2 ); }
155 printf(
"Cre = %7d. ", p->nCreated );
156 printf(
"Del = %7d. ", p->nDeleted );
ABC_NAMESPACE_IMPL_START Hop_Man_t * Hop_ManStart()
DECLARATIONS ///.
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
static int Hop_ObjRefs(Hop_Obj_t *pObj)
static Hop_Obj_t * Hop_ManConst1(Hop_Man_t *p)
#define Hop_ManForEachNode(p, pObj, i)
#define Hop_ManForEachPi(p, pObj, i)
ITERATORS ///.
void Hop_ObjDelete_rec(Hop_Man_t *p, Hop_Obj_t *pObj)
#define Hop_ManForEachPo(p, pObj, i)
int Hop_ManCountLevels(Hop_Man_t *p)
static void Vec_PtrPush(Vec_Ptr_t *p, void *Entry)
void Hop_ManStartMemory(Hop_Man_t *p)
FUNCTION DEFINITIONS ///.
#define ABC_ALLOC(type, num)
static int Hop_ManPoNum(Hop_Man_t *p)
void Hop_ManStop(Hop_Man_t *p)
void Hop_ManPrintStats(Hop_Man_t *p)
static int Hop_ManAndNum(Hop_Man_t *p)
#define ABC_NAMESPACE_IMPL_END
static Hop_Obj_t * Hop_ManFetchMemory(Hop_Man_t *p)
#define ABC_NAMESPACE_IMPL_START
static int Hop_ManExorNum(Hop_Man_t *p)
static Vec_Ptr_t * Vec_PtrAlloc(int nCap)
FUNCTION DEFINITIONS ///.
int Hop_ManCleanup(Hop_Man_t *p)
#define Vec_PtrForEachEntry(Type, vVec, pEntry, i)
MACRO DEFINITIONS ///.
static int Hop_ManNodeNum(Hop_Man_t *p)
typedefABC_NAMESPACE_HEADER_START struct Hop_Man_t_ Hop_Man_t
INCLUDES ///.
static void Vec_PtrFree(Vec_Ptr_t *p)
static int Hop_ManPiNum(Hop_Man_t *p)
void Hop_ManStopMemory(Hop_Man_t *p)