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

Public Attributes

Gia_Man_t * pGia
 
Abc_Cex_t * pCex
 
Vec_Int_t * vMap
 
int fPropFanout
 
int fVerbose
 
Vec_Int_t * vObjs
 
Vec_Int_t * vFanins
 
Vec_Int_t * pvVecs
 
Vec_Vec_t * vGrp2Ppi
 
int nMapWords
 
Rf2_Obj_t * pObjs
 
int nObjs
 
int nObjsAlloc
 
int nObjsFrame
 
int nCalls
 
int nRefines
 
clock_t timeFwd
 
clock_t timeBwd
 
clock_t timeVer
 
clock_t timeTotal
 

Detailed Description

Definition at line 84 of file absRefJ.c.

Member Data Documentation

◆ fPropFanout

int Rf2_Man_t_::fPropFanout

Definition at line 90 of file absRefJ.c.

◆ fVerbose

int Rf2_Man_t_::fVerbose

Definition at line 91 of file absRefJ.c.

◆ nCalls

int Rf2_Man_t_::nCalls

Definition at line 103 of file absRefJ.c.

◆ nMapWords

int Rf2_Man_t_::nMapWords

Definition at line 97 of file absRefJ.c.

◆ nObjs

int Rf2_Man_t_::nObjs

Definition at line 100 of file absRefJ.c.

◆ nObjsAlloc

int Rf2_Man_t_::nObjsAlloc

Definition at line 101 of file absRefJ.c.

◆ nObjsFrame

int Rf2_Man_t_::nObjsFrame

Definition at line 102 of file absRefJ.c.

◆ nRefines

int Rf2_Man_t_::nRefines

Definition at line 104 of file absRefJ.c.

◆ pCex

Abc_Cex_t* Rf2_Man_t_::pCex

Definition at line 88 of file absRefJ.c.

◆ pGia

Gia_Man_t* Rf2_Man_t_::pGia

Definition at line 87 of file absRefJ.c.

◆ pObjs

Rf2_Obj_t* Rf2_Man_t_::pObjs

Definition at line 99 of file absRefJ.c.

◆ pvVecs

Vec_Int_t* Rf2_Man_t_::pvVecs

Definition at line 95 of file absRefJ.c.

◆ timeBwd

clock_t Rf2_Man_t_::timeBwd

Definition at line 107 of file absRefJ.c.

◆ timeFwd

clock_t Rf2_Man_t_::timeFwd

Definition at line 106 of file absRefJ.c.

◆ timeTotal

clock_t Rf2_Man_t_::timeTotal

Definition at line 109 of file absRefJ.c.

◆ timeVer

clock_t Rf2_Man_t_::timeVer

Definition at line 108 of file absRefJ.c.

◆ vFanins

Vec_Int_t* Rf2_Man_t_::vFanins

Definition at line 94 of file absRefJ.c.

◆ vGrp2Ppi

Vec_Vec_t* Rf2_Man_t_::vGrp2Ppi

Definition at line 96 of file absRefJ.c.

◆ vMap

Vec_Int_t* Rf2_Man_t_::vMap

Definition at line 89 of file absRefJ.c.

◆ vObjs

Vec_Int_t* Rf2_Man_t_::vObjs

Definition at line 93 of file absRefJ.c.

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