ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Llb_Img_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 * vDdMans
 
Vec_Ptr_t * vRings
 
Vec_Int_t * vDriRefs
 
Vec_Int_t * vVarsCs
 
Vec_Int_t * vVarsNs
 
Vec_Int_t * vCs2Glo
 
Vec_Int_t * vNs2Glo
 
Vec_Int_t * vGlo2Cs
 
Vec_Int_t * vGlo2Ns
 

Detailed Description

Definition at line 31 of file llb2Core.c.

Member Data Documentation

◆ dd

DdManager* Llb_Img_t_::dd

Definition at line 37 of file llb2Core.c.

◆ ddG

DdManager* Llb_Img_t_::ddG

Definition at line 38 of file llb2Core.c.

◆ ddR

DdManager* Llb_Img_t_::ddR

Definition at line 39 of file llb2Core.c.

◆ pAig

Aig_Man_t* Llb_Img_t_::pAig

Definition at line 34 of file llb2Core.c.

◆ pInit

Aig_Man_t* Llb_Img_t_::pInit

Definition at line 33 of file llb2Core.c.

◆ pPars

Gia_ParLlb_t* Llb_Img_t_::pPars

Definition at line 35 of file llb2Core.c.

◆ vCs2Glo

Vec_Int_t* Llb_Img_t_::vCs2Glo

Definition at line 47 of file llb2Core.c.

◆ vDdMans

Vec_Ptr_t* Llb_Img_t_::vDdMans

Definition at line 40 of file llb2Core.c.

◆ vDriRefs

Vec_Int_t* Llb_Img_t_::vDriRefs

Definition at line 43 of file llb2Core.c.

◆ vGlo2Cs

Vec_Int_t* Llb_Img_t_::vGlo2Cs

Definition at line 49 of file llb2Core.c.

◆ vGlo2Ns

Vec_Int_t* Llb_Img_t_::vGlo2Ns

Definition at line 50 of file llb2Core.c.

◆ vNs2Glo

Vec_Int_t* Llb_Img_t_::vNs2Glo

Definition at line 48 of file llb2Core.c.

◆ vRings

Vec_Ptr_t* Llb_Img_t_::vRings

Definition at line 41 of file llb2Core.c.

◆ vVarsCs

Vec_Int_t* Llb_Img_t_::vVarsCs

Definition at line 44 of file llb2Core.c.

◆ vVarsNs

Vec_Int_t* Llb_Img_t_::vVarsNs

Definition at line 45 of file llb2Core.c.

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