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

Public Attributes

Gia_Man_tpGia
 
Jf_Par_tpPars
 
Sdm_Man_tpDsd
 
Vec_Int_tvCnfs
 
Vec_Mem_tvTtMem
 
Vec_Int_t vCuts
 
Vec_Int_t vArr
 
Vec_Int_t vDep
 
Vec_Flt_t vFlow
 
Vec_Flt_t vRefs
 
Vec_Set_t pMem
 
Vec_Int_tvTemp
 
float(* pCutCmp )(Jf_Cut_t *, Jf_Cut_t *)
 
abctime clkStart
 
word CutCount [4]
 
int nCoarse
 

Detailed Description

Definition at line 53 of file giaJf.c.

Member Data Documentation

◆ clkStart

abctime Jf_Man_t_::clkStart

Definition at line 68 of file giaJf.c.

◆ CutCount

word Jf_Man_t_::CutCount[4]

Definition at line 69 of file giaJf.c.

◆ nCoarse

int Jf_Man_t_::nCoarse

Definition at line 70 of file giaJf.c.

◆ pCutCmp

float(* Jf_Man_t_::pCutCmp) (Jf_Cut_t *, Jf_Cut_t *)

Definition at line 67 of file giaJf.c.

◆ pDsd

Sdm_Man_t* Jf_Man_t_::pDsd

Definition at line 57 of file giaJf.c.

◆ pGia

Gia_Man_t* Jf_Man_t_::pGia

Definition at line 55 of file giaJf.c.

◆ pMem

Vec_Set_t Jf_Man_t_::pMem

Definition at line 65 of file giaJf.c.

◆ pPars

Jf_Par_t* Jf_Man_t_::pPars

Definition at line 56 of file giaJf.c.

◆ vArr

Vec_Int_t Jf_Man_t_::vArr

Definition at line 61 of file giaJf.c.

◆ vCnfs

Vec_Int_t* Jf_Man_t_::vCnfs

Definition at line 58 of file giaJf.c.

◆ vCuts

Vec_Int_t Jf_Man_t_::vCuts

Definition at line 60 of file giaJf.c.

◆ vDep

Vec_Int_t Jf_Man_t_::vDep

Definition at line 62 of file giaJf.c.

◆ vFlow

Vec_Flt_t Jf_Man_t_::vFlow

Definition at line 63 of file giaJf.c.

◆ vRefs

Vec_Flt_t Jf_Man_t_::vRefs

Definition at line 64 of file giaJf.c.

◆ vTemp

Vec_Int_t* Jf_Man_t_::vTemp

Definition at line 66 of file giaJf.c.

◆ vTtMem

Vec_Mem_t* Jf_Man_t_::vTtMem

Definition at line 59 of file giaJf.c.


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