Searched refs:fSwapOnly (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauCanon.c | 735 int Abc_Tt6CofactorPermNaive( word * pTruth, int i, int fSwapOnly ) in Abc_Tt6CofactorPermNaive() argument
737 if ( fSwapOnly ) in Abc_Tt6CofactorPermNaive()
795 int Abc_TtCofactorPermNaive( word * pTruth, int i, int nWords, int fSwapOnly ) in Abc_TtCofactorPermNaive() argument
797 if ( fSwapOnly ) in Abc_TtCofactorPermNaive()
875 int Abc_TtCofactorPermConfig( word * pTruth, int i, int nWords, int fSwapOnly, int fNaive ) in Abc_TtCofactorPermConfig() argument
878 return Abc_Tt6CofactorPermNaive( pTruth, i, fSwapOnly ); in Abc_TtCofactorPermConfig()
880 return Abc_TtCofactorPermNaive( pTruth, i, nWords, fSwapOnly ); in Abc_TtCofactorPermConfig()
881 if ( fSwapOnly ) in Abc_TtCofactorPermConfig()
975 if ( fSwapOnly ) in Abc_TtCofactorPerm()
2046 static int Abc_TgSymGroupPerm(Abc_TgMan_t* pMan, int idx, int fSwapOnly) in Abc_TgSymGroupPerm() argument
[all …]
|