Fx_Man_t_ Struct Reference

Data Fields
Vec_Wec_t *	vCubes
int	LitCountMax
Vec_Wec_t *	vLits
Vec_Int_t *	vCounts
Hsh_VecMan_t *	pHash
Vec_Flt_t *	vWeights
Vec_Que_t *	vPrio
Vec_Int_t *	vVarCube
Vec_Int_t *	vLevels
Vec_Int_t *	vCubesS
Vec_Int_t *	vCubesD
Vec_Int_t *	vCompls
Vec_Int_t *	vCubeFree
Vec_Int_t *	vDiv
abctime	timeStart
int	nVars
int	nLits
int	nDivs
int	nCompls
int	nPairsS
int	nPairsD
int	nDivsS
int	nDivMux [3]

Detailed Description

Definition at line 86 of file abcFx.c.

Field Documentation

int Fx_Man_t_::LitCountMax

Definition at line 90 of file abcFx.c.

int Fx_Man_t_::nCompls

Definition at line 110 of file abcFx.c.

int Fx_Man_t_::nDivMux[3]

Definition at line 114 of file abcFx.c.

int Fx_Man_t_::nDivs

Definition at line 109 of file abcFx.c.

int Fx_Man_t_::nDivsS

Definition at line 113 of file abcFx.c.

int Fx_Man_t_::nLits

Definition at line 108 of file abcFx.c.

int Fx_Man_t_::nPairsD

Definition at line 112 of file abcFx.c.

int Fx_Man_t_::nPairsS

Definition at line 111 of file abcFx.c.

int Fx_Man_t_::nVars

Definition at line 107 of file abcFx.c.

Hsh_VecMan_t* Fx_Man_t_::pHash

Definition at line 94 of file abcFx.c.

abctime Fx_Man_t_::timeStart

Definition at line 106 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vCompls

Definition at line 102 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vCounts

Definition at line 93 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vCubeFree

Definition at line 103 of file abcFx.c.

Vec_Wec_t* Fx_Man_t_::vCubes

Definition at line 89 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vCubesD

Definition at line 101 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vCubesS

Definition at line 100 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vDiv

Definition at line 104 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vLevels

Definition at line 98 of file abcFx.c.

Vec_Wec_t* Fx_Man_t_::vLits

Definition at line 92 of file abcFx.c.

Vec_Que_t* Fx_Man_t_::vPrio

Definition at line 96 of file abcFx.c.

Vec_Int_t* Fx_Man_t_::vVarCube

Definition at line 97 of file abcFx.c.

Vec_Flt_t* Fx_Man_t_::vWeights

Definition at line 95 of file abcFx.c.

---

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

• abcFx.c