Searched refs:tgMan (Results 1 – 1 of 1) sorted by relevance
2573 Abc_TgMan_t tgMan, tgManCopy; in Abc_TtCanonicizeAda() local2594 Abc_TgCreateGroups(&tgMan); in Abc_TtCanonicizeAda()2596 Abc_TgPurgeSymmetry(&tgMan, fHigh); in Abc_TtCanonicizeAda()2626 if (!Abc_TgCannonVerify(&tgMan)) in Abc_TtCanonicizeAda()2629 return tgMan.uPhase; in Abc_TtCanonicizeAda()2637 Abc_TgMan_t tgMan, tgManCopy; in Abc_TtCanonicizeCA() local2656 Abc_TgCreateGroups(&tgMan); in Abc_TtCanonicizeCA()2658 Abc_TgPurgeSymmetry(&tgMan, 1); in Abc_TtCanonicizeCA()2666 Abc_TgSimpleEnumeration(&tgMan); in Abc_TtCanonicizeCA()2684 if (!Abc_TgCannonVerify(&tgMan)) in Abc_TtCanonicizeCA()[all …]