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

Public Attributes

Gia_Man_tpGia
 
Jf_Par_tpPars
 
Vec_Mem_tvTtMem
 
Vec_Ptr_t vPages
 
Vec_Int_t vCutSets
 
Vec_Int_t vCutFlows
 
Vec_Int_t vCutDelays
 
Vec_Int_t vCutRefs
 
int iCur
 
int Iter
 
Of_Obj_tpObjs
 
abctime clkStart
 
double CutCount [6]
 

Detailed Description

Definition at line 67 of file giaOf.c.

Member Data Documentation

◆ clkStart

abctime Of_Man_t_::clkStart

Definition at line 84 of file giaOf.c.

◆ CutCount

double Of_Man_t_::CutCount[6]

Definition at line 85 of file giaOf.c.

◆ iCur

int Of_Man_t_::iCur

Definition at line 79 of file giaOf.c.

◆ Iter

int Of_Man_t_::Iter

Definition at line 80 of file giaOf.c.

◆ pGia

Gia_Man_t* Of_Man_t_::pGia

Definition at line 70 of file giaOf.c.

◆ pObjs

Of_Obj_t* Of_Man_t_::pObjs

Definition at line 82 of file giaOf.c.

◆ pPars

Jf_Par_t* Of_Man_t_::pPars

Definition at line 71 of file giaOf.c.

◆ vCutDelays

Vec_Int_t Of_Man_t_::vCutDelays

Definition at line 77 of file giaOf.c.

◆ vCutFlows

Vec_Int_t Of_Man_t_::vCutFlows

Definition at line 76 of file giaOf.c.

◆ vCutRefs

Vec_Int_t Of_Man_t_::vCutRefs

Definition at line 78 of file giaOf.c.

◆ vCutSets

Vec_Int_t Of_Man_t_::vCutSets

Definition at line 75 of file giaOf.c.

◆ vPages

Vec_Ptr_t Of_Man_t_::vPages

Definition at line 74 of file giaOf.c.

◆ vTtMem

Vec_Mem_t* Of_Man_t_::vTtMem

Definition at line 73 of file giaOf.c.


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