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

Public Attributes

Gia_Man_t * pGia
 
Jf_Par_t * pPars
 
int nCutWords
 
int nSetWords
 
Lf_Bst_t * pObjBests
 
Vec_Ptr_t vMemSets
 
Vec_Int_t vFreeSets
 
Vec_Mem_t * vTtMem
 
Vec_Ptr_t vFreePages
 
Lf_Mem_t vStoreOld
 
Lf_Mem_t vStoreNew
 
Vec_Int_t vOffsets
 
Vec_Int_t vRequired
 
Vec_Int_t vCutSets
 
Vec_Flt_t vFlowRefs
 
Vec_Int_t vMapRefs
 
Vec_Flt_t vSwitches
 
Vec_Int_t vCiArrivals
 
abctime clkStart
 
double CutCount [4]
 
double Switches
 
int nFrontMax
 
int nCoDrivers
 
int nInverters
 
int nTimeFails
 
int Iter
 
int fUseEla
 
int nCutMux
 
int nCutEqual
 
int nCutCounts [LF_LEAF_MAX+1]
 

Detailed Description

Definition at line 78 of file giaLf.c.

Member Data Documentation

◆ clkStart

abctime Lf_Man_t_::clkStart

Definition at line 102 of file giaLf.c.

◆ CutCount

double Lf_Man_t_::CutCount[4]

Definition at line 103 of file giaLf.c.

◆ fUseEla

int Lf_Man_t_::fUseEla

Definition at line 110 of file giaLf.c.

◆ Iter

int Lf_Man_t_::Iter

Definition at line 109 of file giaLf.c.

◆ nCoDrivers

int Lf_Man_t_::nCoDrivers

Definition at line 106 of file giaLf.c.

◆ nCutCounts

int Lf_Man_t_::nCutCounts[LF_LEAF_MAX+1]

Definition at line 113 of file giaLf.c.

◆ nCutEqual

int Lf_Man_t_::nCutEqual

Definition at line 112 of file giaLf.c.

◆ nCutMux

int Lf_Man_t_::nCutMux

Definition at line 111 of file giaLf.c.

◆ nCutWords

int Lf_Man_t_::nCutWords

Definition at line 84 of file giaLf.c.

◆ nFrontMax

int Lf_Man_t_::nFrontMax

Definition at line 105 of file giaLf.c.

◆ nInverters

int Lf_Man_t_::nInverters

Definition at line 107 of file giaLf.c.

◆ nSetWords

int Lf_Man_t_::nSetWords

Definition at line 85 of file giaLf.c.

◆ nTimeFails

int Lf_Man_t_::nTimeFails

Definition at line 108 of file giaLf.c.

◆ pGia

Gia_Man_t* Lf_Man_t_::pGia

Definition at line 81 of file giaLf.c.

◆ pObjBests

Lf_Bst_t* Lf_Man_t_::pObjBests

Definition at line 86 of file giaLf.c.

◆ pPars

Jf_Par_t* Lf_Man_t_::pPars

Definition at line 82 of file giaLf.c.

◆ Switches

double Lf_Man_t_::Switches

Definition at line 104 of file giaLf.c.

◆ vCiArrivals

Vec_Int_t Lf_Man_t_::vCiArrivals

Definition at line 100 of file giaLf.c.

◆ vCutSets

Vec_Int_t Lf_Man_t_::vCutSets

Definition at line 96 of file giaLf.c.

◆ vFlowRefs

Vec_Flt_t Lf_Man_t_::vFlowRefs

Definition at line 97 of file giaLf.c.

◆ vFreePages

Vec_Ptr_t Lf_Man_t_::vFreePages

Definition at line 90 of file giaLf.c.

◆ vFreeSets

Vec_Int_t Lf_Man_t_::vFreeSets

Definition at line 88 of file giaLf.c.

◆ vMapRefs

Vec_Int_t Lf_Man_t_::vMapRefs

Definition at line 98 of file giaLf.c.

◆ vMemSets

Vec_Ptr_t Lf_Man_t_::vMemSets

Definition at line 87 of file giaLf.c.

◆ vOffsets

Vec_Int_t Lf_Man_t_::vOffsets

Definition at line 94 of file giaLf.c.

◆ vRequired

Vec_Int_t Lf_Man_t_::vRequired

Definition at line 95 of file giaLf.c.

◆ vStoreNew

Lf_Mem_t Lf_Man_t_::vStoreNew

Definition at line 92 of file giaLf.c.

◆ vStoreOld

Lf_Mem_t Lf_Man_t_::vStoreOld

Definition at line 91 of file giaLf.c.

◆ vSwitches

Vec_Flt_t Lf_Man_t_::vSwitches

Definition at line 99 of file giaLf.c.

◆ vTtMem

Vec_Mem_t* Lf_Man_t_::vTtMem

Definition at line 89 of file giaLf.c.

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