| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigIso.c | 422 Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int fVerbose ) in Iso_ManFilterPos() argument
432 *pvPosEquivs = NULL; in Iso_ManFilterPos()
525 *pvPosEquivs = vClasses; in Iso_ManFilterPos()
561 Aig_Man_t * Saig_ManIsoReduce( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int fVerbose ) in Saig_ManIsoReduce() argument
565 pPart = Iso_ManFilterPos( pAig, pvPosEquivs, fVerbose ); in Saig_ManIsoReduce()
568 if ( fVerbose && *pvPosEquivs && Saig_ManPoNum(pAig) != Vec_PtrSize(*pvPosEquivs) ) in Saig_ManIsoReduce()
571 Vec_VecPrintInt( (Vec_Vec_t *)*pvPosEquivs, 1 ); in Saig_ManIsoReduce()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCone.c | 312 …n_t * p, int iOut, int nDelta, int nOutsMin, int nOutsMax, int fVerbose, Vec_Ptr_t ** pvPosEquivs ) in Gia_ManFindPoPartition3() argument
538 …, int nDelta, int nOutsMin, int nOutsMax, int fSetLargest, int fVerbose, Vec_Ptr_t ** pvPosEquivs ) in Gia_ManFindPoPartition2() argument
555 …Man_t * p, int SelectShift, int fOnlyCis, int fSetLargest, int fVerbose, Vec_Ptr_t ** pvPosEquivs ) in Gia_ManFindPoPartition() argument
573 if ( pvPosEquivs ) in Gia_ManFindPoPartition()
575 *pvPosEquivs = vParts; in Gia_ManFindPoPartition()
|
| H A D | giaIso.c | 1075 Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * pInit, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** pvPiPerms, … in Gia_ManIsoReduce() argument
1084 if ( pvPosEquivs ) in Gia_ManIsoReduce()
1085 *pvPosEquivs = NULL; in Gia_ManIsoReduce()
1221 if ( pvPosEquivs ) in Gia_ManIsoReduce()
1222 *pvPosEquivs = vEquivs; in Gia_ManIsoReduce()
|
| H A D | giaTruth.c | 557 Gia_Man_t * Gia_ManIsoNpnReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ) in Gia_ManIsoNpnReduce() argument
661 if ( pvPosEquivs ) in Gia_ManIsoNpnReduce()
662 *pvPosEquivs = Vec_WecConvertToVecPtr( vPosEquivs ); in Gia_ManIsoNpnReduce()
|
| H A D | giaIso2.c | 718 Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** pvPiPerms, … in Gia_ManIsoReduce2() argument
762 if ( pvPosEquivs ) in Gia_ManIsoReduce2()
763 *pvPosEquivs = Vec_WecConvertToVecPtr( vEquivs ); in Gia_ManIsoReduce2()
|
| H A D | giaDup.c | 4123 Gia_Man_t * Gia_ManIsoStrashReduce2( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ) in Gia_ManIsoStrashReduce2() argument
4130 *pvPosEquivs = NULL; in Gia_ManIsoStrashReduce2()
4191 Gia_Man_t * Gia_ManIsoStrashReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ) in Gia_ManIsoStrashReduce() argument
4206 if ( pvPosEquivs ) in Gia_ManIsoStrashReduce()
4207 *pvPosEquivs = Vec_WecConvertToVecPtr( vPosEquivs ); in Gia_ManIsoStrashReduce()
|
| H A D | gia.h | 1460 extern Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** …
1461 extern Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t **…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 41749 extern Gia_Man_t * Gia_ManIsoNpnReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ); in Abc_CommandAbc9IsoNpn()
41816 …extern Gia_Man_t * Gia_ManIsoStrashReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerbose ); in Abc_CommandAbc9IsoSt()
42230 …an_t * p, int SelectShift, int fOnlyCis, int fSetLargest, int fVerbose, Vec_Ptr_t ** pvPosEquivs ); in Abc_CommandAbc9PoPart()
42301 … int nDelta, int nOutsMin, int nOutsMax, int fSetLargest, int fVerbose, Vec_Ptr_t ** pvPosEquivs ); in Abc_CommandAbc9PoPart2()
|