Searched refs:Aig_TransferMappedClasses (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswPart.c | 110 nClasses = Aig_TransferMappedClasses( pAig, pTemp, pMapBack ); in Ssw_SignalCorrespondencePart()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigRepr.c | 533 int Aig_TransferMappedClasses( Aig_Man_t * pAig, Aig_Man_t * pPart, int * pMapBack ) in Aig_TransferMappedClasses() function
|
H A D | aigScl.c | 624 nClasses = Aig_TransferMappedClasses( pAig, pTemp, pMapBack ); in Aig_ManSclPart()
|
H A D | aig.h | 601 extern int Aig_TransferMappedClasses( Aig_Man_t * pAig, Aig_Man_t * pPart, int * pMapBa…
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraInd.c | 310 nClasses = Aig_TransferMappedClasses( pAig, pTemp, pMapBack ); in Fra_FraigInductionPart()
|