Searched refs:puCanonPhase (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauCanon.c | 973 … pTruth, int i, int nWords, int fSwapOnly, char * pCanonPerm, unsigned * puCanonPhase, int fNaive ) in Abc_TtCofactorPerm() argument
980 if ( ((*puCanonPhase >> i) & 1) != ((*puCanonPhase >> (i+1)) & 1) ) in Abc_TtCofactorPerm()
982 *puCanonPhase ^= (1 << i); in Abc_TtCofactorPerm()
983 *puCanonPhase ^= (1 << (i+1)); in Abc_TtCofactorPerm()
1003 *puCanonPhase ^= (1 << i); in Abc_TtCofactorPerm()
1005 *puCanonPhase ^= (1 << (i+1)); in Abc_TtCofactorPerm()
1008 if ( ((*puCanonPhase >> i) & 1) != ((*puCanonPhase >> (i+1)) & 1) ) in Abc_TtCofactorPerm()
1010 *puCanonPhase ^= (1 << i); in Abc_TtCofactorPerm()
1011 *puCanonPhase ^= (1 << (i+1)); in Abc_TtCofactorPerm()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcRec3.c | 903 …ct( If_Man_t * pIfMan, If_Cut_t * pCut, char * pCanonPerm, unsigned * puCanonPhase, int * pBestPo ) in If_CutFindBestStruct() argument
937 …*puCanonPhase = Kit_TruthSemiCanonicize( (unsigned *)p->pTemp1, (unsigned *)p->pTemp2, nLeaves, pC… in If_CutFindBestStruct()
939 *puCanonPhase = Abc_TtCanonicize( p->pTemp1, nLeaves, pCanonPerm ); in If_CutFindBestStruct()
|