Searched refs:pPermT (Results 1 – 1 of 1) sorted by relevance
1587 pMan->pPermT[i] = i; in Abc_TgInitMan()1652 assert(pPermE[i] == pMan->pPermT[i]); in CheckConfig()1653 assert(pMan->pPermTRev[(int)pMan->pPermT[i]] == i); in CheckConfig()1700 char *pPerm = pMan->pPermT; in Abc_TgImplementPerm()1742 assert(pMan->pPermT[ix] == iVar && pMan->pPermT[ix + 1] == jVar); in Abc_TgSwapAdjacentSymGroups()1744 pMan->pPermT[ix] = jVar; in Abc_TgSwapAdjacentSymGroups()1745 pMan->pPermT[ix + 1] = iVar; in Abc_TgSwapAdjacentSymGroups()2321 char pPermT[16]; in Abc_TgSplitGroupsByScc() local2328 Abc_TgExpendSymmetry(pMan, pPermT); in Abc_TgSplitGroupsByScc()2329 Abc_TgImplementPerm(pMan, pPermT); in Abc_TgSplitGroupsByScc()[all …]