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

Public Attributes

Aig_Man_t * pAig
 
Fra_Cla_t * pCla
 
Vec_Ptr_t * vParts
 
int * pInToOutPart
 
int * pInToOutNum
 
Vec_Ptr_t * vFraigs
 
int fRefining
 
int nFramesP
 
int fVerbose
 
int nIters
 
int nLitsBeg
 
int nLitsEnd
 
int nNodesBeg
 
int nNodesEnd
 
int nRegsBeg
 
int nRegsEnd
 
abctime timeSim
 
abctime timePart
 
abctime timeTrav
 
abctime timeFraig
 
abctime timeUpdate
 
abctime timeTotal
 

Detailed Description

Definition at line 31 of file fraLcr.c.

Member Data Documentation

◆ fRefining

int Fra_Lcr_t_::fRefining

Definition at line 44 of file fraLcr.c.

◆ fVerbose

int Fra_Lcr_t_::fVerbose

Definition at line 47 of file fraLcr.c.

◆ nFramesP

int Fra_Lcr_t_::nFramesP

Definition at line 46 of file fraLcr.c.

◆ nIters

int Fra_Lcr_t_::nIters

Definition at line 49 of file fraLcr.c.

◆ nLitsBeg

int Fra_Lcr_t_::nLitsBeg

Definition at line 50 of file fraLcr.c.

◆ nLitsEnd

int Fra_Lcr_t_::nLitsEnd

Definition at line 51 of file fraLcr.c.

◆ nNodesBeg

int Fra_Lcr_t_::nNodesBeg

Definition at line 52 of file fraLcr.c.

◆ nNodesEnd

int Fra_Lcr_t_::nNodesEnd

Definition at line 53 of file fraLcr.c.

◆ nRegsBeg

int Fra_Lcr_t_::nRegsBeg

Definition at line 54 of file fraLcr.c.

◆ nRegsEnd

int Fra_Lcr_t_::nRegsEnd

Definition at line 55 of file fraLcr.c.

◆ pAig

Aig_Man_t* Fra_Lcr_t_::pAig

Definition at line 34 of file fraLcr.c.

◆ pCla

Fra_Cla_t* Fra_Lcr_t_::pCla

Definition at line 36 of file fraLcr.c.

◆ pInToOutNum

int* Fra_Lcr_t_::pInToOutNum

Definition at line 40 of file fraLcr.c.

◆ pInToOutPart

int* Fra_Lcr_t_::pInToOutPart

Definition at line 39 of file fraLcr.c.

◆ timeFraig

abctime Fra_Lcr_t_::timeFraig

Definition at line 60 of file fraLcr.c.

◆ timePart

abctime Fra_Lcr_t_::timePart

Definition at line 58 of file fraLcr.c.

◆ timeSim

abctime Fra_Lcr_t_::timeSim

Definition at line 57 of file fraLcr.c.

◆ timeTotal

abctime Fra_Lcr_t_::timeTotal

Definition at line 62 of file fraLcr.c.

◆ timeTrav

abctime Fra_Lcr_t_::timeTrav

Definition at line 59 of file fraLcr.c.

◆ timeUpdate

abctime Fra_Lcr_t_::timeUpdate

Definition at line 61 of file fraLcr.c.

◆ vFraigs

Vec_Ptr_t* Fra_Lcr_t_::vFraigs

Definition at line 42 of file fraLcr.c.

◆ vParts

Vec_Ptr_t* Fra_Lcr_t_::vParts

Definition at line 38 of file fraLcr.c.

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