Hop_Man_t_ Struct Reference

#include <hop.h>

Collaboration diagram for Hop_Man_t_:

[legend]

Data Fields
Vec_Ptr_t *	vPis
Vec_Ptr_t *	vPos
Vec_Ptr_t *	vObjs
Hop_Obj_t *	pConst1
Hop_Obj_t	Ghost
int	nObjs [AIG_VOID]
int	nCreated
int	nDeleted
Hop_Obj_t **	pTable
int	nTableSize
void *	pData
int	nTravIds
int	fRefCount
int	fCatchExor
Vec_Ptr_t *	vChunks
Vec_Ptr_t *	vPages
Hop_Obj_t *	pListFree
int	time1
int	time2

---

Detailed Description

Definition at line 79 of file hop.h.

---

Field Documentation

int Hop_Man_t_::fCatchExor

Definition at line 98 of file hop.h.

int Hop_Man_t_::fRefCount

Definition at line 97 of file hop.h.

Hop_Obj_t Hop_Man_t_::Ghost

Definition at line 86 of file hop.h.

int Hop_Man_t_::nCreated

Definition at line 89 of file hop.h.

int Hop_Man_t_::nDeleted

Definition at line 90 of file hop.h.

int Hop_Man_t_::nObjs[AIG_VOID]

Definition at line 88 of file hop.h.

int Hop_Man_t_::nTableSize

Definition at line 93 of file hop.h.

int Hop_Man_t_::nTravIds

Definition at line 96 of file hop.h.

Hop_Obj_t* Hop_Man_t_::pConst1

Definition at line 85 of file hop.h.

void* Hop_Man_t_::pData

Definition at line 95 of file hop.h.

Hop_Obj_t* Hop_Man_t_::pListFree

Definition at line 102 of file hop.h.

Hop_Obj_t** Hop_Man_t_::pTable

Definition at line 92 of file hop.h.

int Hop_Man_t_::time1

Definition at line 104 of file hop.h.

int Hop_Man_t_::time2

Definition at line 105 of file hop.h.

Vec_Ptr_t* Hop_Man_t_::vChunks

Definition at line 100 of file hop.h.

Vec_Ptr_t* Hop_Man_t_::vObjs

Definition at line 84 of file hop.h.

Vec_Ptr_t* Hop_Man_t_::vPages

Definition at line 101 of file hop.h.

Vec_Ptr_t* Hop_Man_t_::vPis

Definition at line 82 of file hop.h.

Vec_Ptr_t* Hop_Man_t_::vPos

Definition at line 83 of file hop.h.

---

The documentation for this struct was generated from the following file:

• src/aig/hop/hop.h