abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Aig_ManPre_t_ Struct Reference

Data Fields

Aig_Man_tpAig
 
Vec_Ptr_tvMatrix
 
int nRegsMax
 
Vec_Ptr_tvParts
 
char * pfUsedRegs
 
Vec_Int_tvRegs
 
Vec_Int_tvUniques
 
Vec_Int_tvFreeVars
 
Vec_Flt_tvPartCost
 
char * pfPartVars
 

Detailed Description

Definition at line 33 of file aigPartReg.c.

Field Documentation

int Aig_ManPre_t_::nRegsMax

Definition at line 38 of file aigPartReg.c.

Aig_Man_t* Aig_ManPre_t_::pAig

Definition at line 36 of file aigPartReg.c.

char* Aig_ManPre_t_::pfPartVars

Definition at line 47 of file aigPartReg.c.

char* Aig_ManPre_t_::pfUsedRegs

Definition at line 41 of file aigPartReg.c.

Vec_Int_t* Aig_ManPre_t_::vFreeVars

Definition at line 45 of file aigPartReg.c.

Vec_Ptr_t* Aig_ManPre_t_::vMatrix

Definition at line 37 of file aigPartReg.c.

Vec_Flt_t* Aig_ManPre_t_::vPartCost

Definition at line 46 of file aigPartReg.c.

Vec_Ptr_t* Aig_ManPre_t_::vParts

Definition at line 40 of file aigPartReg.c.

Vec_Int_t* Aig_ManPre_t_::vRegs

Definition at line 43 of file aigPartReg.c.

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: