Cec_ManSim_t_ Struct Reference

#include <cecInt.h>

Data Fields
Gia_Man_t *	pAig
Cec_ParSim_t *	pPars
int	nWords
int *	pSimInfo
unsigned *	pMems
int	nWordsAlloc
int	nMems
int	nMemsMax
int	MemFree
int	nWordsOld
Vec_Ptr_t *	vCiSimInfo
Vec_Ptr_t *	vCoSimInfo
void **	pCexes
int	iOut
int	nOuts
Abc_Cex_t *	pCexComb
Abc_Cex_t *	pBestState
int *	pScores
Vec_Int_t *	vClassOld
Vec_Int_t *	vClassNew
Vec_Int_t *	vClassTemp
Vec_Int_t *	vRefinedC

Detailed Description

Definition at line 112 of file cecInt.h.

Field Documentation

int Cec_ManSim_t_::iOut

Definition at line 131 of file cecInt.h.

int Cec_ManSim_t_::MemFree

Definition at line 124 of file cecInt.h.

int Cec_ManSim_t_::nMems

Definition at line 122 of file cecInt.h.

int Cec_ManSim_t_::nMemsMax

Definition at line 123 of file cecInt.h.

int Cec_ManSim_t_::nOuts

Definition at line 132 of file cecInt.h.

int Cec_ManSim_t_::nWords

Definition at line 117 of file cecInt.h.

int Cec_ManSim_t_::nWordsAlloc

Definition at line 121 of file cecInt.h.

int Cec_ManSim_t_::nWordsOld

Definition at line 125 of file cecInt.h.

Gia_Man_t* Cec_ManSim_t_::pAig

Definition at line 115 of file cecInt.h.

Abc_Cex_t* Cec_ManSim_t_::pBestState

Definition at line 134 of file cecInt.h.

Abc_Cex_t* Cec_ManSim_t_::pCexComb

Definition at line 133 of file cecInt.h.

void** Cec_ManSim_t_::pCexes

Definition at line 130 of file cecInt.h.

unsigned* Cec_ManSim_t_::pMems

Definition at line 120 of file cecInt.h.

Cec_ParSim_t* Cec_ManSim_t_::pPars

Definition at line 116 of file cecInt.h.

int* Cec_ManSim_t_::pScores

Definition at line 136 of file cecInt.h.

int* Cec_ManSim_t_::pSimInfo

Definition at line 119 of file cecInt.h.

Vec_Ptr_t* Cec_ManSim_t_::vCiSimInfo

Definition at line 127 of file cecInt.h.

Vec_Int_t* Cec_ManSim_t_::vClassNew

Definition at line 139 of file cecInt.h.

Vec_Int_t* Cec_ManSim_t_::vClassOld

Definition at line 138 of file cecInt.h.

Vec_Int_t* Cec_ManSim_t_::vClassTemp

Definition at line 140 of file cecInt.h.

Vec_Ptr_t* Cec_ManSim_t_::vCoSimInfo

Definition at line 128 of file cecInt.h.

Vec_Int_t* Cec_ManSim_t_::vRefinedC

Definition at line 141 of file cecInt.h.

---

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

• cecInt.h