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

Public Attributes

Aig_Man_t * pAig
 
Vec_Ptr_t * vLeaves
 
Vec_Ptr_t * vRoots
 
DdManager * dd
 
int * pVars2Q
 
Llb_Prt_t ** pParts
 
Llb_Var_t ** pVars
 
int iPartFree
 
int nVars
 
int nSuppMax
 
int * pSupp
 
Vec_Int_t * vVars2Q
 
int nSizeMax
 

Detailed Description

Definition at line 47 of file llb3Image.c.

Member Data Documentation

◆ dd

DdManager * Llb_Mgr_t_::dd

Definition at line 52 of file llb3Image.c.

◆ iPartFree

int Llb_Mgr_t_::iPartFree

Definition at line 57 of file llb3Image.c.

◆ nSizeMax

int Llb_Mgr_t_::nSizeMax

Definition at line 51 of file llb4Image.c.

◆ nSuppMax

int Llb_Mgr_t_::nSuppMax

Definition at line 59 of file llb3Image.c.

◆ nVars

int Llb_Mgr_t_::nVars

Definition at line 58 of file llb3Image.c.

◆ pAig

Aig_Man_t* Llb_Mgr_t_::pAig

Definition at line 49 of file llb3Image.c.

◆ pParts

Llb_Prt_t ** Llb_Mgr_t_::pParts

Definition at line 55 of file llb3Image.c.

◆ pSupp

int * Llb_Mgr_t_::pSupp

Definition at line 61 of file llb3Image.c.

◆ pVars

Llb_Var_t ** Llb_Mgr_t_::pVars

Definition at line 56 of file llb3Image.c.

◆ pVars2Q

int* Llb_Mgr_t_::pVars2Q

Definition at line 53 of file llb3Image.c.

◆ vLeaves

Vec_Ptr_t* Llb_Mgr_t_::vLeaves

Definition at line 50 of file llb3Image.c.

◆ vRoots

Vec_Ptr_t* Llb_Mgr_t_::vRoots

Definition at line 51 of file llb3Image.c.

◆ vVars2Q

Vec_Int_t* Llb_Mgr_t_::vVars2Q

Definition at line 50 of file llb4Image.c.

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