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

Public Attributes

Aig_Man_t * pAig
 
Vec_Ptr_t * vMatrix
 
int nRegsMax
 
Vec_Ptr_t * vParts
 
char * pfUsedRegs
 
Vec_Int_t * vRegs
 
Vec_Int_t * vUniques
 
Vec_Int_t * vFreeVars
 
Vec_Flt_t * vPartCost
 
char * pfPartVars
 

Detailed Description

Definition at line 33 of file aigPartReg.c.

Member Data Documentation

◆ nRegsMax

int Aig_ManPre_t_::nRegsMax

Definition at line 38 of file aigPartReg.c.

◆ pAig

Aig_Man_t* Aig_ManPre_t_::pAig

Definition at line 36 of file aigPartReg.c.

◆ pfPartVars

char* Aig_ManPre_t_::pfPartVars

Definition at line 47 of file aigPartReg.c.

◆ pfUsedRegs

char* Aig_ManPre_t_::pfUsedRegs

Definition at line 41 of file aigPartReg.c.

◆ vFreeVars

Vec_Int_t* Aig_ManPre_t_::vFreeVars

Definition at line 45 of file aigPartReg.c.

◆ vMatrix

Vec_Ptr_t* Aig_ManPre_t_::vMatrix

Definition at line 37 of file aigPartReg.c.

◆ vPartCost

Vec_Flt_t* Aig_ManPre_t_::vPartCost

Definition at line 46 of file aigPartReg.c.

◆ vParts

Vec_Ptr_t* Aig_ManPre_t_::vParts

Definition at line 40 of file aigPartReg.c.

◆ vRegs

Vec_Int_t* Aig_ManPre_t_::vRegs

Definition at line 43 of file aigPartReg.c.

◆ vUniques

Vec_Int_t* Aig_ManPre_t_::vUniques

Definition at line 44 of file aigPartReg.c.

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