Dar_Man_t_ Struct Reference

#include <darInt.h>

Collaboration diagram for Dar_Man_t_:

[legend]

Data Fields
Dar_RwrPar_t *	pPars
Aig_Man_t *	pAig
Aig_MmFixed_t *	pMemCuts
void *	pManCnf
Vec_Ptr_t *	vLeavesBest
int	OutBest
int	OutNumBest
int	GainBest
int	LevelBest
int	ClassBest
int	nTotalSubgs
int	ClassTimes [222]
int	ClassGains [222]
int	ClassSubgs [222]
int	nCutMemUsed
int	nNodesInit
int	nNodesTried
int	nCutsAll
int	nCutsTried
int	nCutsUsed
int	nCutsBad
int	nCutsGood
int	nCutsSkipped
int	timeCuts
int	timeEval
int	timeOther
int	timeTotal
int	time1
int	time2

---

Detailed Description

Definition at line 67 of file darInt.h.

---

Field Documentation

int Dar_Man_t_::ClassBest

Definition at line 81 of file darInt.h.

int Dar_Man_t_::ClassGains[222]

Definition at line 85 of file darInt.h.

int Dar_Man_t_::ClassSubgs[222]

Definition at line 86 of file darInt.h.

int Dar_Man_t_::ClassTimes[222]

Definition at line 84 of file darInt.h.

int Dar_Man_t_::GainBest

Definition at line 79 of file darInt.h.

int Dar_Man_t_::LevelBest

Definition at line 80 of file darInt.h.

int Dar_Man_t_::nCutMemUsed

Definition at line 87 of file darInt.h.

int Dar_Man_t_::nCutsAll

Definition at line 91 of file darInt.h.

int Dar_Man_t_::nCutsBad

Definition at line 94 of file darInt.h.

int Dar_Man_t_::nCutsGood

Definition at line 95 of file darInt.h.

int Dar_Man_t_::nCutsSkipped

Definition at line 96 of file darInt.h.

int Dar_Man_t_::nCutsTried

Definition at line 92 of file darInt.h.

int Dar_Man_t_::nCutsUsed

Definition at line 93 of file darInt.h.

int Dar_Man_t_::nNodesInit

Definition at line 89 of file darInt.h.

int Dar_Man_t_::nNodesTried

Definition at line 90 of file darInt.h.

int Dar_Man_t_::nTotalSubgs

Definition at line 83 of file darInt.h.

int Dar_Man_t_::OutBest

Definition at line 77 of file darInt.h.

int Dar_Man_t_::OutNumBest

Definition at line 78 of file darInt.h.

Aig_Man_t* Dar_Man_t_::pAig

Definition at line 71 of file darInt.h.

void* Dar_Man_t_::pManCnf

Definition at line 74 of file darInt.h.

Aig_MmFixed_t* Dar_Man_t_::pMemCuts

Definition at line 73 of file darInt.h.

Dar_RwrPar_t* Dar_Man_t_::pPars

Definition at line 70 of file darInt.h.

int Dar_Man_t_::time1

Definition at line 102 of file darInt.h.

int Dar_Man_t_::time2

Definition at line 103 of file darInt.h.

int Dar_Man_t_::timeCuts

Definition at line 98 of file darInt.h.

int Dar_Man_t_::timeEval

Definition at line 99 of file darInt.h.

int Dar_Man_t_::timeOther

Definition at line 100 of file darInt.h.

int Dar_Man_t_::timeTotal

Definition at line 101 of file darInt.h.

Vec_Ptr_t* Dar_Man_t_::vLeavesBest

Definition at line 76 of file darInt.h.

---

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

• src/aig/dar/darInt.h