1476 …char pPermT[16];                    // permutation of variables, symmetric variables expanded, act…  member
1587         pMan->pPermT[i] = i;  in Abc_TgInitMan()
1639     return Abc_TtCannonVerify(pMan->pTruth, pMan->nVars, pMan->pPermT, pMan->uPhase);  in Abc_TgCannonVerify()
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()  local
2328     Abc_TgExpendSymmetry(pMan, pPermT);  in Abc_TgSplitGroupsByScc()
2329     Abc_TgImplementPerm(pMan, pPermT);  in Abc_TgSplitGroupsByScc()
2623     memcpy(pCanonPerm, tgMan.pPermT, sizeof(char) * nVars);  in Abc_TtCanonicizeAda()
2681     memcpy(pCanonPerm, tgMan.pPermT, sizeof(char) * nVars);  in Abc_TtCanonicizeCA()