Dar_Man_t_ Struct Reference

#include <darInt.h>

Data Fields
Dar_RwrPar_t *	pPars
Aig_Man_t *	pAig
Aig_MmFixed_t *	pMemCuts
void *	pManCnf
Vec_Ptr_t *	vCutNodes
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
abctime	timeCuts
abctime	timeEval
abctime	timeOther
abctime	timeTotal
abctime	time1
abctime	time2

Detailed Description

Definition at line 67 of file darInt.h.

Field Documentation

int Dar_Man_t_::ClassBest

Definition at line 82 of file darInt.h.

int Dar_Man_t_::ClassGains[222]

Definition at line 86 of file darInt.h.

int Dar_Man_t_::ClassSubgs[222]

Definition at line 87 of file darInt.h.

int Dar_Man_t_::ClassTimes[222]

Definition at line 85 of file darInt.h.

int Dar_Man_t_::GainBest

Definition at line 80 of file darInt.h.

int Dar_Man_t_::LevelBest

Definition at line 81 of file darInt.h.

int Dar_Man_t_::nCutMemUsed

Definition at line 88 of file darInt.h.

int Dar_Man_t_::nCutsAll

Definition at line 92 of file darInt.h.

int Dar_Man_t_::nCutsBad

Definition at line 95 of file darInt.h.

int Dar_Man_t_::nCutsGood

Definition at line 96 of file darInt.h.

int Dar_Man_t_::nCutsSkipped

Definition at line 97 of file darInt.h.

int Dar_Man_t_::nCutsTried

Definition at line 93 of file darInt.h.

int Dar_Man_t_::nCutsUsed

Definition at line 94 of file darInt.h.

int Dar_Man_t_::nNodesInit

Definition at line 90 of file darInt.h.

int Dar_Man_t_::nNodesTried

Definition at line 91 of file darInt.h.

int Dar_Man_t_::nTotalSubgs

Definition at line 84 of file darInt.h.

int Dar_Man_t_::OutBest

Definition at line 78 of file darInt.h.

int Dar_Man_t_::OutNumBest

Definition at line 79 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.

abctime Dar_Man_t_::time1

Definition at line 103 of file darInt.h.

abctime Dar_Man_t_::time2

Definition at line 104 of file darInt.h.

abctime Dar_Man_t_::timeCuts

Definition at line 99 of file darInt.h.

abctime Dar_Man_t_::timeEval

Definition at line 100 of file darInt.h.

abctime Dar_Man_t_::timeOther

Definition at line 101 of file darInt.h.

abctime Dar_Man_t_::timeTotal

Definition at line 102 of file darInt.h.

Vec_Ptr_t* Dar_Man_t_::vCutNodes

Definition at line 75 of file darInt.h.

Vec_Ptr_t* Dar_Man_t_::vLeavesBest

Definition at line 77 of file darInt.h.

---

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

• darInt.h