Ref_Man_t_ Struct Reference

Collaboration diagram for Ref_Man_t_:

[legend]

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
int	nNodesInit
int	nNodesTried
int	nNodesBelow
int	nNodesExten
int	nCutsUsed
int	nCutsTried
int	timeCuts
int	timeEval
int	timeOther
int	timeTotal

---

Detailed Description

Definition at line 30 of file darRefact.c.

---

Field Documentation

int Ref_Man_t_::GainBest

Definition at line 45 of file darRefact.c.

int Ref_Man_t_::LevelBest

Definition at line 46 of file darRefact.c.

int Ref_Man_t_::nCutsTried

Definition at line 53 of file darRefact.c.

int Ref_Man_t_::nCutsUsed

Definition at line 52 of file darRefact.c.

int Ref_Man_t_::nNodesBelow

Definition at line 50 of file darRefact.c.

int Ref_Man_t_::nNodesExten

Definition at line 51 of file darRefact.c.

int Ref_Man_t_::nNodesInit

Definition at line 48 of file darRefact.c.

int Ref_Man_t_::nNodesTried

Definition at line 49 of file darRefact.c.

Aig_Man_t* Ref_Man_t_::pAig

Definition at line 34 of file darRefact.c.

Kit_Graph_t* Ref_Man_t_::pGraphBest

Definition at line 44 of file darRefact.c.

Dar_RefPar_t* Ref_Man_t_::pPars

Definition at line 33 of file darRefact.c.

int Ref_Man_t_::timeCuts

Definition at line 55 of file darRefact.c.

int Ref_Man_t_::timeEval

Definition at line 56 of file darRefact.c.

int Ref_Man_t_::timeOther

Definition at line 57 of file darRefact.c.

int Ref_Man_t_::timeTotal

Definition at line 58 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vCutNodes

Definition at line 41 of file darRefact.c.

Vec_Vec_t* Ref_Man_t_::vCuts

Definition at line 36 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vLeavesBest

Definition at line 43 of file darRefact.c.

Vec_Int_t* Ref_Man_t_::vMemory

Definition at line 40 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vTruthElem

Definition at line 38 of file darRefact.c.

Vec_Ptr_t* Ref_Man_t_::vTruthStore

Definition at line 39 of file darRefact.c.

---

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

• src/aig/dar/darRefact.c