#include <aig.h>

Data Fields
char *	pName

char *	pSpec

Vec_Ptr_t *	vCis

Vec_Ptr_t *	vCos

Vec_Ptr_t *	vObjs

Vec_Ptr_t *	vBufs

Aig_Obj_t *	pConst1

Aig_Obj_t	Ghost

int	nRegs

int	nTruePis

int	nTruePos

int	nAsserts

int	nConstrs

int	nBarBufs

int	nObjs [AIG_OBJ_VOID]

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

void *	pData2

int	nTravIds

int	fCatchExor

int	fAddStrash

Aig_Obj_t **	pObjCopies

void(*	pImpFunc )(void , void )

void *	pImpData

void *	pManTime

void *	pManCuts

int *	pFastSim

unsigned *	pTerSimData

Vec_Ptr_t *	vMapped

Vec_Int_t *	vFlopNums

Vec_Int_t *	vFlopReprs

Abc_Cex_t *	pSeqModel

Vec_Ptr_t *	vSeqModelVec

Aig_Man_t *	pManExdc

Vec_Ptr_t *	vOnehots

int	fCreatePios

Vec_Int_t *	vEquPairs

Vec_Vec_t *	vClockDoms

Vec_Int_t *	vProbs

Vec_Int_t *	vCiNumsOrig

int	nComplEdges

abctime	Time2Quit

abctime	time1

abctime	time2

Vec_Ptr_t *	unfold2_type_I

Vec_Ptr_t *	unfold2_type_II

Detailed Description

Definition at line 94 of file aig.h.

Field Documentation

int Aig_Man_t_::fAddStrash

Definition at line 143 of file aig.h.

int Aig_Man_t_::fCatchExor

Definition at line 142 of file aig.h.

int Aig_Man_t_::fCreatePios

Definition at line 158 of file aig.h.

Aig_Obj_t Aig_Man_t_::Ghost

Definition at line 104 of file aig.h.

int Aig_Man_t_::iNext

Definition at line 128 of file aig.h.

int Aig_Man_t_::iPrev

Definition at line 127 of file aig.h.

int Aig_Man_t_::nAndPrev

Definition at line 130 of file aig.h.

int Aig_Man_t_::nAndTotal

Definition at line 129 of file aig.h.

int Aig_Man_t_::nAsserts

Definition at line 108 of file aig.h.

int Aig_Man_t_::nBarBufs

Definition at line 110 of file aig.h.

int Aig_Man_t_::nBufFixes

Definition at line 122 of file aig.h.

int Aig_Man_t_::nBufMax

Definition at line 123 of file aig.h.

int Aig_Man_t_::nBufReplaces

Definition at line 121 of file aig.h.

int Aig_Man_t_::nComplEdges

Definition at line 163 of file aig.h.

int Aig_Man_t_::nConstrs

Definition at line 109 of file aig.h.

int Aig_Man_t_::nDeleted

Definition at line 113 of file aig.h.

int Aig_Man_t_::nFansAlloc

Definition at line 119 of file aig.h.

int Aig_Man_t_::nLevelMax

Definition at line 138 of file aig.h.

int Aig_Man_t_::nObjs[AIG_OBJ_VOID]

Definition at line 112 of file aig.h.

int Aig_Man_t_::nOrderAlloc

Definition at line 126 of file aig.h.

int Aig_Man_t_::nRegs

Definition at line 105 of file aig.h.

int Aig_Man_t_::nReprsAlloc

Definition at line 134 of file aig.h.

int Aig_Man_t_::nTableSize

Definition at line 116 of file aig.h.

int Aig_Man_t_::nTravIds

Definition at line 141 of file aig.h.

int Aig_Man_t_::nTruePis

Definition at line 106 of file aig.h.

int Aig_Man_t_::nTruePos

Definition at line 107 of file aig.h.

Aig_Obj_t* Aig_Man_t_::pConst1

Definition at line 103 of file aig.h.

void* Aig_Man_t_::pData

Definition at line 139 of file aig.h.

void* Aig_Man_t_::pData2

Definition at line 140 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pEquivs

Definition at line 132 of file aig.h.

int* Aig_Man_t_::pFanData

Definition at line 118 of file aig.h.

int* Aig_Man_t_::pFastSim

Definition at line 149 of file aig.h.

void* Aig_Man_t_::pImpData

Definition at line 146 of file aig.h.

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

Definition at line 145 of file aig.h.

void* Aig_Man_t_::pManCuts

Definition at line 148 of file aig.h.

Aig_Man_t* Aig_Man_t_::pManExdc

Definition at line 156 of file aig.h.

void* Aig_Man_t_::pManTime

Definition at line 147 of file aig.h.

Aig_MmFixed_t* Aig_Man_t_::pMemObjs

Definition at line 136 of file aig.h.

char* Aig_Man_t_::pName

Definition at line 96 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pObjCopies

Definition at line 144 of file aig.h.

unsigned* Aig_Man_t_::pOrderData

Definition at line 125 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pReprs

Definition at line 133 of file aig.h.

Abc_Cex_t* Aig_Man_t_::pSeqModel

Definition at line 154 of file aig.h.

char* Aig_Man_t_::pSpec

Definition at line 97 of file aig.h.

Aig_Obj_t** Aig_Man_t_::pTable

Definition at line 115 of file aig.h.

unsigned* Aig_Man_t_::pTerSimData

Definition at line 150 of file aig.h.

abctime Aig_Man_t_::time1

Definition at line 166 of file aig.h.

abctime Aig_Man_t_::time2

Definition at line 167 of file aig.h.

abctime Aig_Man_t_::Time2Quit

Definition at line 164 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::unfold2_type_I

Definition at line 169 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::unfold2_type_II

Definition at line 170 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vBufs

Definition at line 102 of file aig.h.

Vec_Int_t* Aig_Man_t_::vCiNumsOrig

Definition at line 162 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vCis

Definition at line 99 of file aig.h.

Vec_Vec_t* Aig_Man_t_::vClockDoms

Definition at line 160 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vCos

Definition at line 100 of file aig.h.

Vec_Int_t* Aig_Man_t_::vEquPairs

Definition at line 159 of file aig.h.

Vec_Int_t* Aig_Man_t_::vFlopNums

Definition at line 152 of file aig.h.

Vec_Int_t* Aig_Man_t_::vFlopReprs

Definition at line 153 of file aig.h.

Vec_Int_t* Aig_Man_t_::vLevelR

Definition at line 137 of file aig.h.

Vec_Vec_t* Aig_Man_t_::vLevels

Definition at line 120 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vMapped

Definition at line 151 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vObjs

Definition at line 101 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vOnehots

Definition at line 157 of file aig.h.

Vec_Int_t* Aig_Man_t_::vProbs

Definition at line 161 of file aig.h.

Vec_Ptr_t* Aig_Man_t_::vSeqModelVec

Definition at line 155 of file aig.h.

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

aig.h

Data Fields

Detailed Description

Field Documentation