Searched refs:vMffcs (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaResub.c | 100 Vec_Wec_t * vMffcs; in Gia_ManComputeMffcs() local
107 vMffcs = Vec_WecAlloc( 1000 ); in Gia_ManComputeMffcs()
121 vMffc = Vec_WecPushLevel( vMffcs ); in Gia_ManComputeMffcs()
135 Vec_WecSortByLastInt( vMffcs, 1 ); in Gia_ManComputeMffcs()
136 Vec_WecForEachLevel( vMffcs, vMffc, i ) in Gia_ManComputeMffcs()
143 Vec_WecShrink( vMffcs, iPivot ); in Gia_ManComputeMffcs()
144 return vMffcs; in Gia_ManComputeMffcs()
177 Vec_WecSize(vMffcs), 100.0 * Vec_WecSize(vMffcs) / Gia_ManAndNum(p), in Gia_ManPrintDivStats()
263 Vec_Wec_t * vMffcs; in Gia_ManResubTest() local
267 Gia_ManAddDivisors( pNew, vMffcs ); in Gia_ManResubTest()
[all …]
|
| H A D | giaCof.c | 609 Vec_Int_t * vFanins, * vFanouts, * vMffcs; in Cof_ManPrintFanio() local
635 vMffcs = Vec_IntStart( nSizeMax ); in Cof_ManPrintFanio()
680 Vec_IntAddToEntry( vMffcs, nMffcs, 1 ); in Cof_ManPrintFanio()
682 Vec_IntAddToEntry( vMffcs, 10 + nMffcs/10, 1 ); in Cof_ManPrintFanio()
684 Vec_IntAddToEntry( vMffcs, 20 + nMffcs/100, 1 ); in Cof_ManPrintFanio()
686 Vec_IntAddToEntry( vMffcs, 30 + nMffcs/1000, 1 ); in Cof_ManPrintFanio()
688 Vec_IntAddToEntry( vMffcs, 40 + nMffcs/10000, 1 ); in Cof_ManPrintFanio()
690 Vec_IntAddToEntry( vMffcs, 50 + nMffcs/100000, 1 ); in Cof_ManPrintFanio()
719 if ( vMffcs->pArray[k] == 0 ) in Cof_ManPrintFanio()
722 printf( " %12d ", vMffcs->pArray[k] ); in Cof_ManPrintFanio()
[all …]
|