ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Rnm_Man_t_ Struct Reference

#include <absRef.h>

Collaboration diagram for Rnm_Man_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pGia
 
Abc_Cex_t * pCex
 
Vec_Int_t * vMap
 
int fPropFanout
 
int fVerbose
 
int nRefId
 
Vec_Int_t * vObjs
 
Vec_Str_t * vCounts
 
Vec_Int_t * vFanins
 
Rnm_Obj_t * pObjs
 
int nObjs
 
int nObjsAlloc
 
int nObjsFrame
 
int nCalls
 
int nRefines
 
int nVisited
 
abctime timeFwd
 
abctime timeBwd
 
abctime timeVer
 
abctime timeTotal
 

Detailed Description

Definition at line 56 of file absRef.h.

Member Data Documentation

◆ fPropFanout

int Rnm_Man_t_::fPropFanout

Definition at line 62 of file absRef.h.

◆ fVerbose

int Rnm_Man_t_::fVerbose

Definition at line 63 of file absRef.h.

◆ nCalls

int Rnm_Man_t_::nCalls

Definition at line 82 of file absRef.h.

◆ nObjs

int Rnm_Man_t_::nObjs

Definition at line 79 of file absRef.h.

◆ nObjsAlloc

int Rnm_Man_t_::nObjsAlloc

Definition at line 80 of file absRef.h.

◆ nObjsFrame

int Rnm_Man_t_::nObjsFrame

Definition at line 81 of file absRef.h.

◆ nRefId

int Rnm_Man_t_::nRefId

Definition at line 64 of file absRef.h.

◆ nRefines

int Rnm_Man_t_::nRefines

Definition at line 83 of file absRef.h.

◆ nVisited

int Rnm_Man_t_::nVisited

Definition at line 84 of file absRef.h.

◆ pCex

Abc_Cex_t* Rnm_Man_t_::pCex

Definition at line 60 of file absRef.h.

◆ pGia

Gia_Man_t* Rnm_Man_t_::pGia

Definition at line 59 of file absRef.h.

◆ pObjs

Rnm_Obj_t* Rnm_Man_t_::pObjs

Definition at line 78 of file absRef.h.

◆ timeBwd

abctime Rnm_Man_t_::timeBwd

Definition at line 87 of file absRef.h.

◆ timeFwd

abctime Rnm_Man_t_::timeFwd

Definition at line 86 of file absRef.h.

◆ timeTotal

abctime Rnm_Man_t_::timeTotal

Definition at line 89 of file absRef.h.

◆ timeVer

abctime Rnm_Man_t_::timeVer

Definition at line 88 of file absRef.h.

◆ vCounts

Vec_Str_t* Rnm_Man_t_::vCounts

Definition at line 68 of file absRef.h.

◆ vFanins

Vec_Int_t* Rnm_Man_t_::vFanins

Definition at line 69 of file absRef.h.

◆ vMap

Vec_Int_t* Rnm_Man_t_::vMap

Definition at line 61 of file absRef.h.

◆ vObjs

Vec_Int_t* Rnm_Man_t_::vObjs

Definition at line 66 of file absRef.h.

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