Ref_Man_t_ Struct Reference

Data Fields
Dar_RefPar_t *	pPars
Aig_Man_t *	pAig
Vec_Vec_t *	vCuts
Vec_Ptr_t *	vTruthElem
Vec_Ptr_t *	vTruthStore
Vec_Int_t *	vMemory
Vec_Ptr_t *	vCutNodes
Vec_Ptr_t *	vLeavesBest
Kit_Graph_t *	pGraphBest
int	GainBest
int	LevelBest
Bdc_Par_t	DecPars
Bdc_Man_t *	pManDec
int	nNodesInit
int	nNodesTried
int	nNodesBelow
int	nNodesExten
int	nCutsUsed
int	nCutsTried
abctime	timeCuts
abctime	timeEval
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 36 of file darRefact.c.

Field Documentation

Bdc_Par_t Ref_Man_t_::DecPars

Definition at line 54 of file darRefact.c.

int Ref_Man_t_::GainBest

Definition at line 51 of file darRefact.c.

int Ref_Man_t_::LevelBest

Definition at line 52 of file darRefact.c.

int Ref_Man_t_::nCutsTried

Definition at line 62 of file darRefact.c.

int Ref_Man_t_::nCutsUsed

Definition at line 61 of file darRefact.c.

int Ref_Man_t_::nNodesBelow

Definition at line 59 of file darRefact.c.

int Ref_Man_t_::nNodesExten

Definition at line 60 of file darRefact.c.

int Ref_Man_t_::nNodesInit

Definition at line 57 of file darRefact.c.

int Ref_Man_t_::nNodesTried

Definition at line 58 of file darRefact.c.

Aig_Man_t* Ref_Man_t_::pAig

Definition at line 40 of file darRefact.c.

Kit_Graph_t* Ref_Man_t_::pGraphBest

Definition at line 50 of file darRefact.c.

Bdc_Man_t* Ref_Man_t_::pManDec

Definition at line 55 of file darRefact.c.

Dar_RefPar_t* Ref_Man_t_::pPars

Definition at line 39 of file darRefact.c.

abctime Ref_Man_t_::timeCuts

Definition at line 64 of file darRefact.c.

abctime Ref_Man_t_::timeEval

Definition at line 65 of file darRefact.c.

abctime Ref_Man_t_::timeOther

Definition at line 66 of file darRefact.c.

abctime Ref_Man_t_::timeTotal

Definition at line 67 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vCutNodes

Definition at line 47 of file darRefact.c.

Vec_Vec_t* Ref_Man_t_::vCuts

Definition at line 42 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vLeavesBest

Definition at line 49 of file darRefact.c.

Vec_Int_t* Ref_Man_t_::vMemory

Definition at line 46 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vTruthElem

Definition at line 44 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vTruthStore

Definition at line 45 of file darRefact.c.

---

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

• darRefact.c