Searched defs:pComb (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilPerm.c | 627 void Abc_ZddCombPrint( int * pComb, int nTrans ) in Abc_ZddCombPrint()
636 int Abc_ZddPerm2Comb( int * pPerm, int Size, int * pComb ) in Abc_ZddPerm2Comb()
651 void Abc_ZddComb2Perm( int * pComb, int nTrans, int * pPerm, int Size ) in Abc_ZddComb2Perm()
663 int pComb[10], nTrans; in Abc_ZddPermCombTest() local
690 int pPerm[24], pComb[24], i; in Abc_ZddPrint_rec() local
794 int pComb[5], nTrans; in Abc_ZddPermTestInt() local
857 int i, k, pComb[9], pPerm[24], nSize; in Abc_EnumerateCubeStatesZdd() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraImp.c | 324 Fra_Sml_t * pSeq, * pComb; in Fra_ImpDerive() local
631 Fra_Sml_t * pComb; in Fra_ImpComputeStateSpaceRatio() local
|
| H A D | fraClaus.c | 605 Fra_Sml_t * pComb, * pSeq; in Fra_ClausProcessClauses() local
728 Fra_Sml_t * pComb, * pSeq; in Fra_ClausProcessClauses2() local
1623 Fra_Sml_t * pComb; in Fra_ClausEstimateCoverage() local
|
| H A D | fraClass.c | 644 Fra_Sml_t * pComb; in Fra_ClassesPostprocess() local
|