Searched refs:pComb (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilPerm.c | 633 printf( "(%d %d)", pComb[i] >> 16, pComb[i] & 0xffff ); in Abc_ZddCombPrint()
657 ABC_SWAP( int, pPerm[pComb[v] >> 16], pPerm[pComb[v] & 0xffff] ); in Abc_ZddComb2Perm()
663 int pComb[10], nTrans; in Abc_ZddPermCombTest() local
666 Abc_ZddCombPrint( pComb, nTrans ); in Abc_ZddPermCombTest()
690 int pPerm[24], pComb[24], i; in Abc_ZddPrint_rec() local
694 Abc_ZddCombPrint( pComb, Size ); in Abc_ZddPrint_rec()
794 int pComb[5], nTrans; in Abc_ZddPermTestInt() local
803 Abc_ZddCombPrint( pComb, nTrans ); in Abc_ZddPermTestInt()
805 pComb[k] = Abc_ZddVarIJ( p, pComb[k] >> 16, pComb[k] & 0xFFFF ); in Abc_ZddPermTestInt()
857 int i, k, pComb[9], pPerm[24], nSize; in Abc_EnumerateCubeStatesZdd() local
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraImp.c | 324 Fra_Sml_t * pSeq, * pComb; in Fra_ImpDerive() local
335 pComb = Fra_SmlSimulateComb( p->pManAig, nSimWords, 0 ); in Fra_ImpDerive()
363 if ( Sml_NodeCheckImp(pComb, *pNodesI, *pNodesK) ) in Fra_ImpDerive()
370 pImpCosts[ Vec_IntSize(vImps) ] = Sml_NodeNotImpWeight(pComb, *pNodesI, *pNodesK); in Fra_ImpDerive()
379 Fra_SmlStop( pComb ); in Fra_ImpDerive()
631 Fra_Sml_t * pComb; in Fra_ImpComputeStateSpaceRatio() local
638 pComb = Fra_SmlSimulateComb( p->pManAig, nSimWords, 0 ); in Fra_ImpComputeStateSpaceRatio()
640 pResult = Fra_ObjSim( pComb, 0 ); in Fra_ImpComputeStateSpaceRatio()
646 Sml_NodeSaveNotImpPatterns( pComb, Left, Right, pResult ); in Fra_ImpComputeStateSpaceRatio()
649 Ratio = 100.0 * Fra_SmlCountOnesOne( pComb, 0 ) / (32*(pComb->nWordsTotal-pComb->nWordsPref)); in Fra_ImpComputeStateSpaceRatio()
[all …]
|
| H A D | fraClaus.c | 605 Fra_Sml_t * pComb, * pSeq; in Fra_ClausProcessClauses() local
671 pComb = Fra_SmlSimulateComb( p->pAig, p->nSimWords + p->nSimWordsPref, 0 ); in Fra_ClausProcessClauses()
694 Fra_SmlStop( pComb ); in Fra_ClausProcessClauses()
728 Fra_Sml_t * pComb, * pSeq; in Fra_ClausProcessClauses2() local
794 Fra_ClausProcessClausesCut3( p, pComb, pCut, ScoresComb ); in Fra_ClausProcessClauses2()
803 Fra_SmlStop( pComb ); in Fra_ClausProcessClauses2()
1623 Fra_Sml_t * pComb; in Fra_ClausEstimateCoverage() local
1631 pComb = Fra_SmlSimulateComb( p->pAig, nCombSimWords, 0 ); in Fra_ClausEstimateCoverage()
1643 pResultOne = Fra_ObjSim( pComb, Aig_ManCo(p->pAig, 0)->Id ); in Fra_ClausEstimateCoverage()
1644 pResultTot = Fra_ObjSim( pComb, Aig_ManCo(p->pAig, 1)->Id ); in Fra_ClausEstimateCoverage()
[all …]
|
| H A D | fraClass.c | 644 Fra_Sml_t * pComb; in Fra_ClassesPostprocess() local
648 pComb = Fra_SmlSimulateComb( p->pAig, 32, 0 ); in Fra_ClassesPostprocess()
657 pWeights[i] = Fra_SmlNodeNotEquWeight( pComb, pRepr->Id, pObj->Id ); in Fra_ClassesPostprocess()
660 Fra_SmlStop( pComb ); in Fra_ClassesPostprocess()
|