Aig_Man_t_ Struct Reference

#include <aig.h>

Collaboration diagram for Aig_Man_t_:

[legend]

Data Fields
char *	pName
Vec_Ptr_t *	vPis
Vec_Ptr_t *	vPos
Vec_Ptr_t *	vObjs
Vec_Ptr_t *	vBufs
Aig_Obj_t *	pConst1
Aig_Obj_t	Ghost
int	nRegs
int	nAsserts
int	nObjs [AIG_OBJ_VOID]
int	nCreated
int	nDeleted
Aig_Obj_t **	pTable
int	nTableSize
int *	pFanData
int	nFansAlloc
Vec_Vec_t *	vLevels
int	nBufReplaces
int	nBufFixes
int	nBufMax
unsigned *	pOrderData
int	nOrderAlloc
int	iPrev
int	iNext
int	nAndTotal
int	nAndPrev
Aig_Obj_t **	pEquivs
Aig_Obj_t **	pReprs
int	nReprsAlloc
Aig_MmFixed_t *	pMemObjs
Vec_Int_t *	vLevelR
int	nLevelMax
void *	pData
int	nTravIds
int	fCatchExor
int	fAddStrash
Aig_Obj_t **	pObjCopies
void(*	pImpFunc )(void *, void *)
void *	pImpData
Aig_TMan_t *	pManTime
Vec_Ptr_t *	vMapped
Vec_Int_t *	vFlopNums
int	time1
int	time2

---

Detailed Description

Definition at line 91 of file aig.h.

---

Field Documentation

int Aig_Man_t_::fAddStrash

Definition at line 135 of file aig.h.

int Aig_Man_t_::fCatchExor

Definition at line 134 of file aig.h.

Aig_Obj_t Aig_Man_t_::Ghost

Definition at line 100 of file aig.h.

int Aig_Man_t_::iNext

Definition at line 121 of file aig.h.

int Aig_Man_t_::iPrev

Definition at line 120 of file aig.h.

int Aig_Man_t_::nAndPrev

Definition at line 123 of file aig.h.

int Aig_Man_t_::nAndTotal

Definition at line 122 of file aig.h.

int Aig_Man_t_::nAsserts

Definition at line 102 of file aig.h.

int Aig_Man_t_::nBufFixes

Definition at line 115 of file aig.h.

int Aig_Man_t_::nBufMax

Definition at line 116 of file aig.h.

int Aig_Man_t_::nBufReplaces

Definition at line 114 of file aig.h.

int Aig_Man_t_::nCreated

Definition at line 105 of file aig.h.

int Aig_Man_t_::nDeleted

Definition at line 106 of file aig.h.

int Aig_Man_t_::nFansAlloc

Definition at line 112 of file aig.h.

int Aig_Man_t_::nLevelMax

Definition at line 131 of file aig.h.

int Aig_Man_t_::nObjs[AIG_OBJ_VOID]

Definition at line 104 of file aig.h.

int Aig_Man_t_::nOrderAlloc

Definition at line 119 of file aig.h.

int Aig_Man_t_::nRegs

Definition at line 101 of file aig.h.

int Aig_Man_t_::nReprsAlloc

Definition at line 127 of file aig.h.

int Aig_Man_t_::nTableSize

Definition at line 109 of file aig.h.

int Aig_Man_t_::nTravIds

Definition at line 133 of file aig.h.

Aig_Obj_t* Aig_Man_t_::pConst1

Definition at line 99 of file aig.h.

void* Aig_Man_t_::pData

Definition at line 132 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pEquivs

Definition at line 125 of file aig.h.

int* Aig_Man_t_::pFanData

Definition at line 111 of file aig.h.

void* Aig_Man_t_::pImpData

Definition at line 138 of file aig.h.

void(* Aig_Man_t_::pImpFunc)(void *, void *)

Aig_TMan_t* Aig_Man_t_::pManTime

Definition at line 139 of file aig.h.

Aig_MmFixed_t* Aig_Man_t_::pMemObjs

Definition at line 129 of file aig.h.

char* Aig_Man_t_::pName

Definition at line 93 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pObjCopies

Definition at line 136 of file aig.h.

unsigned* Aig_Man_t_::pOrderData

Definition at line 118 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pReprs

Definition at line 126 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pTable

Definition at line 108 of file aig.h.

int Aig_Man_t_::time1

Definition at line 143 of file aig.h.

int Aig_Man_t_::time2

Definition at line 144 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vBufs

Definition at line 98 of file aig.h.

Vec_Int_t* Aig_Man_t_::vFlopNums

Definition at line 141 of file aig.h.

Vec_Int_t* Aig_Man_t_::vLevelR

Definition at line 130 of file aig.h.

Vec_Vec_t* Aig_Man_t_::vLevels

Definition at line 113 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vMapped

Definition at line 140 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vObjs

Definition at line 97 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vPis

Definition at line 95 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vPos

Definition at line 96 of file aig.h.

---

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

• src/aig/aig/aig.h