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

Public Attributes

Aig_Man_t * pInit
 
Aig_Man_t * pAig
 
Gia_ParLlb_t * pPars
 
DdManager * dd
 
DdManager * ddG
 
DdManager * ddR
 
Vec_Ptr_t * vRings
 
Vec_Ptr_t * vLeaves
 
Vec_Ptr_t * vRoots
 
int * pVars2Q
 
int * pOrderL
 
int * pOrderL2
 
int * pOrderG
 
Vec_Int_t * vCs2Glo
 
Vec_Int_t * vNs2Glo
 
Vec_Int_t * vGlo2Cs
 
Vec_Int_t * vGlo2Ns
 
int ddLocReos
 
int ddLocGrbs
 
abctime timeImage
 
abctime timeTran1
 
abctime timeTran2
 
abctime timeGloba
 
abctime timeOther
 
abctime timeTotal
 
abctime timeReo
 
abctime timeReoG
 

Detailed Description

Definition at line 31 of file llb3Nonlin.c.

Member Data Documentation

◆ dd

DdManager* Llb_Mnn_t_::dd

Definition at line 37 of file llb3Nonlin.c.

◆ ddG

DdManager* Llb_Mnn_t_::ddG

Definition at line 38 of file llb3Nonlin.c.

◆ ddLocGrbs

int Llb_Mnn_t_::ddLocGrbs

Definition at line 55 of file llb3Nonlin.c.

◆ ddLocReos

int Llb_Mnn_t_::ddLocReos

Definition at line 54 of file llb3Nonlin.c.

◆ ddR

DdManager* Llb_Mnn_t_::ddR

Definition at line 39 of file llb3Nonlin.c.

◆ pAig

Aig_Man_t* Llb_Mnn_t_::pAig

Definition at line 34 of file llb3Nonlin.c.

◆ pInit

Aig_Man_t* Llb_Mnn_t_::pInit

Definition at line 33 of file llb3Nonlin.c.

◆ pOrderG

int* Llb_Mnn_t_::pOrderG

Definition at line 47 of file llb3Nonlin.c.

◆ pOrderL

int* Llb_Mnn_t_::pOrderL

Definition at line 45 of file llb3Nonlin.c.

◆ pOrderL2

int* Llb_Mnn_t_::pOrderL2

Definition at line 46 of file llb3Nonlin.c.

◆ pPars

Gia_ParLlb_t* Llb_Mnn_t_::pPars

Definition at line 35 of file llb3Nonlin.c.

◆ pVars2Q

int* Llb_Mnn_t_::pVars2Q

Definition at line 44 of file llb3Nonlin.c.

◆ timeGloba

abctime Llb_Mnn_t_::timeGloba

Definition at line 60 of file llb3Nonlin.c.

◆ timeImage

abctime Llb_Mnn_t_::timeImage

Definition at line 57 of file llb3Nonlin.c.

◆ timeOther

abctime Llb_Mnn_t_::timeOther

Definition at line 61 of file llb3Nonlin.c.

◆ timeReo

abctime Llb_Mnn_t_::timeReo

Definition at line 63 of file llb3Nonlin.c.

◆ timeReoG

abctime Llb_Mnn_t_::timeReoG

Definition at line 64 of file llb3Nonlin.c.

◆ timeTotal

abctime Llb_Mnn_t_::timeTotal

Definition at line 62 of file llb3Nonlin.c.

◆ timeTran1

abctime Llb_Mnn_t_::timeTran1

Definition at line 58 of file llb3Nonlin.c.

◆ timeTran2

abctime Llb_Mnn_t_::timeTran2

Definition at line 59 of file llb3Nonlin.c.

◆ vCs2Glo

Vec_Int_t* Llb_Mnn_t_::vCs2Glo

Definition at line 49 of file llb3Nonlin.c.

◆ vGlo2Cs

Vec_Int_t* Llb_Mnn_t_::vGlo2Cs

Definition at line 51 of file llb3Nonlin.c.

◆ vGlo2Ns

Vec_Int_t* Llb_Mnn_t_::vGlo2Ns

Definition at line 52 of file llb3Nonlin.c.

◆ vLeaves

Vec_Ptr_t* Llb_Mnn_t_::vLeaves

Definition at line 42 of file llb3Nonlin.c.

◆ vNs2Glo

Vec_Int_t* Llb_Mnn_t_::vNs2Glo

Definition at line 50 of file llb3Nonlin.c.

◆ vRings

Vec_Ptr_t* Llb_Mnn_t_::vRings

Definition at line 40 of file llb3Nonlin.c.

◆ vRoots

Vec_Ptr_t* Llb_Mnn_t_::vRoots

Definition at line 43 of file llb3Nonlin.c.

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