ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Mf_Man_t_ Struct Reference
Collaboration diagram for Mf_Man_t_:

Public Attributes

Gia_Man_tpGia0
 
Gia_Man_tpGia
 
Jf_Par_tpPars
 
Mf_Obj_tpLfObjs
 
Vec_Ptr_t vPages
 
Vec_Mem_tvTtMem
 
Vec_Int_t vCnfSizes
 
Vec_Int_t vCnfMem
 
Vec_Int_t vTemp
 
int iCur
 
int Iter
 
int fUseEla
 
abctime clkStart
 
double CutCount [4]
 
int nCutCounts [MF_LEAF_MAX+1]
 

Detailed Description

Definition at line 63 of file giaMf.c.

Member Data Documentation

◆ clkStart

abctime Mf_Man_t_::clkStart

Definition at line 80 of file giaMf.c.

◆ CutCount

double Mf_Man_t_::CutCount[4]

Definition at line 81 of file giaMf.c.

◆ fUseEla

int Mf_Man_t_::fUseEla

Definition at line 78 of file giaMf.c.

◆ iCur

int Mf_Man_t_::iCur

Definition at line 76 of file giaMf.c.

◆ Iter

int Mf_Man_t_::Iter

Definition at line 77 of file giaMf.c.

◆ nCutCounts

int Mf_Man_t_::nCutCounts[MF_LEAF_MAX+1]

Definition at line 82 of file giaMf.c.

◆ pGia

Gia_Man_t* Mf_Man_t_::pGia

Definition at line 67 of file giaMf.c.

◆ pGia0

Gia_Man_t* Mf_Man_t_::pGia0

Definition at line 66 of file giaMf.c.

◆ pLfObjs

Mf_Obj_t* Mf_Man_t_::pLfObjs

Definition at line 70 of file giaMf.c.

◆ pPars

Jf_Par_t* Mf_Man_t_::pPars

Definition at line 68 of file giaMf.c.

◆ vCnfMem

Vec_Int_t Mf_Man_t_::vCnfMem

Definition at line 74 of file giaMf.c.

◆ vCnfSizes

Vec_Int_t Mf_Man_t_::vCnfSizes

Definition at line 73 of file giaMf.c.

◆ vPages

Vec_Ptr_t Mf_Man_t_::vPages

Definition at line 71 of file giaMf.c.

◆ vTemp

Vec_Int_t Mf_Man_t_::vTemp

Definition at line 75 of file giaMf.c.

◆ vTtMem

Vec_Mem_t* Mf_Man_t_::vTtMem

Definition at line 72 of file giaMf.c.


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