ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ref_Man_t_ Struct Reference
Collaboration diagram for Ref_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ DecPars

Bdc_Par_t Ref_Man_t_::DecPars

Definition at line 54 of file darRefact.c.

◆ GainBest

int Ref_Man_t_::GainBest

Definition at line 51 of file darRefact.c.

◆ LevelBest

int Ref_Man_t_::LevelBest

Definition at line 52 of file darRefact.c.

◆ nCutsTried

int Ref_Man_t_::nCutsTried

Definition at line 62 of file darRefact.c.

◆ nCutsUsed

int Ref_Man_t_::nCutsUsed

Definition at line 61 of file darRefact.c.

◆ nNodesBelow

int Ref_Man_t_::nNodesBelow

Definition at line 59 of file darRefact.c.

◆ nNodesExten

int Ref_Man_t_::nNodesExten

Definition at line 60 of file darRefact.c.

◆ nNodesInit

int Ref_Man_t_::nNodesInit

Definition at line 57 of file darRefact.c.

◆ nNodesTried

int Ref_Man_t_::nNodesTried

Definition at line 58 of file darRefact.c.

◆ pAig

Aig_Man_t* Ref_Man_t_::pAig

Definition at line 40 of file darRefact.c.

◆ pGraphBest

Kit_Graph_t* Ref_Man_t_::pGraphBest

Definition at line 50 of file darRefact.c.

◆ pManDec

Bdc_Man_t* Ref_Man_t_::pManDec

Definition at line 55 of file darRefact.c.

◆ pPars

Dar_RefPar_t* Ref_Man_t_::pPars

Definition at line 39 of file darRefact.c.

◆ timeCuts

abctime Ref_Man_t_::timeCuts

Definition at line 64 of file darRefact.c.

◆ timeEval

abctime Ref_Man_t_::timeEval

Definition at line 65 of file darRefact.c.

◆ timeOther

abctime Ref_Man_t_::timeOther

Definition at line 66 of file darRefact.c.

◆ timeTotal

abctime Ref_Man_t_::timeTotal

Definition at line 67 of file darRefact.c.

◆ vCutNodes

Vec_Ptr_t* Ref_Man_t_::vCutNodes

Definition at line 47 of file darRefact.c.

◆ vCuts

Vec_Vec_t* Ref_Man_t_::vCuts

Definition at line 42 of file darRefact.c.

◆ vLeavesBest

Vec_Ptr_t* Ref_Man_t_::vLeavesBest

Definition at line 49 of file darRefact.c.

◆ vMemory

Vec_Int_t* Ref_Man_t_::vMemory

Definition at line 46 of file darRefact.c.

◆ vTruthElem

Vec_Ptr_t* Ref_Man_t_::vTruthElem

Definition at line 44 of file darRefact.c.

◆ vTruthStore

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: