ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dar_Man_t_ Struct Reference

#include <darInt.h>

Collaboration diagram for Dar_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ ClassBest

int Dar_Man_t_::ClassBest

Definition at line 82 of file darInt.h.

◆ ClassGains

int Dar_Man_t_::ClassGains[222]

Definition at line 86 of file darInt.h.

◆ ClassSubgs

int Dar_Man_t_::ClassSubgs[222]

Definition at line 87 of file darInt.h.

◆ ClassTimes

int Dar_Man_t_::ClassTimes[222]

Definition at line 85 of file darInt.h.

◆ GainBest

int Dar_Man_t_::GainBest

Definition at line 80 of file darInt.h.

◆ LevelBest

int Dar_Man_t_::LevelBest

Definition at line 81 of file darInt.h.

◆ nCutMemUsed

int Dar_Man_t_::nCutMemUsed

Definition at line 88 of file darInt.h.

◆ nCutsAll

int Dar_Man_t_::nCutsAll

Definition at line 92 of file darInt.h.

◆ nCutsBad

int Dar_Man_t_::nCutsBad

Definition at line 95 of file darInt.h.

◆ nCutsGood

int Dar_Man_t_::nCutsGood

Definition at line 96 of file darInt.h.

◆ nCutsSkipped

int Dar_Man_t_::nCutsSkipped

Definition at line 97 of file darInt.h.

◆ nCutsTried

int Dar_Man_t_::nCutsTried

Definition at line 93 of file darInt.h.

◆ nCutsUsed

int Dar_Man_t_::nCutsUsed

Definition at line 94 of file darInt.h.

◆ nNodesInit

int Dar_Man_t_::nNodesInit

Definition at line 90 of file darInt.h.

◆ nNodesTried

int Dar_Man_t_::nNodesTried

Definition at line 91 of file darInt.h.

◆ nTotalSubgs

int Dar_Man_t_::nTotalSubgs

Definition at line 84 of file darInt.h.

◆ OutBest

int Dar_Man_t_::OutBest

Definition at line 78 of file darInt.h.

◆ OutNumBest

int Dar_Man_t_::OutNumBest

Definition at line 79 of file darInt.h.

◆ pAig

Aig_Man_t* Dar_Man_t_::pAig

Definition at line 71 of file darInt.h.

◆ pManCnf

void* Dar_Man_t_::pManCnf

Definition at line 74 of file darInt.h.

◆ pMemCuts

Aig_MmFixed_t* Dar_Man_t_::pMemCuts

Definition at line 73 of file darInt.h.

◆ pPars

Dar_RwrPar_t* Dar_Man_t_::pPars

Definition at line 70 of file darInt.h.

◆ time1

abctime Dar_Man_t_::time1

Definition at line 103 of file darInt.h.

◆ time2

abctime Dar_Man_t_::time2

Definition at line 104 of file darInt.h.

◆ timeCuts

abctime Dar_Man_t_::timeCuts

Definition at line 99 of file darInt.h.

◆ timeEval

abctime Dar_Man_t_::timeEval

Definition at line 100 of file darInt.h.

◆ timeOther

abctime Dar_Man_t_::timeOther

Definition at line 101 of file darInt.h.

◆ timeTotal

abctime Dar_Man_t_::timeTotal

Definition at line 102 of file darInt.h.

◆ vCutNodes

Vec_Ptr_t* Dar_Man_t_::vCutNodes

Definition at line 75 of file darInt.h.

◆ vLeavesBest

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: