Home
last modified time | relevance | path

Searched refs:pCutSet1 (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaBalLut.c405 Bal_Cut_t * pCutSet0, * pCutSet1, * pCutSet2; in Bal_ManDeriveCuts() local
407 int nCuts1 = Bal_ManPrepareSet( p, iFan1, 1, fUnit1, &pCutSet1 ); in Bal_ManDeriveCuts()
409 Bal_Cut_t * pCut1, * pCut1Lim = pCutSet1 + nCuts1; in Bal_ManDeriveCuts()
420 for ( pCut1 = pCutSet1; pCut1 < pCut1Lim; pCut1++ ) in Bal_ManDeriveCuts()
438 for ( pCut1 = pCutSet1; pCut1 < pCut1Lim; pCut1++ ) in Bal_ManDeriveCuts()
H A DgiaLf.c1189 Lf_Cut_t * pCutSet0, * pCutSet1, * pCutSet2, * pCut0, * pCut1, * pCut2; in Lf_ObjMergeOrder() local
1201 int nCuts1 = Lf_ManPrepareSet( p, Gia_ObjFaninId1(pObj, iObj), 1, &pCutSet1 ); in Lf_ObjMergeOrder()
1255 …Lf_CutSetForEachCut( nCutWords, pCutSet1, pCut1, k, nCuts1 ) if ( (int)pCut1->nLeaves <= nLutSize ) in Lf_ObjMergeOrder()
1280 …Lf_CutSetForEachCut( nCutWords, pCutSet1, pCut1, k, nCuts1 ) if ( (int)pCut1->nLeaves <= nLutSize ) in Lf_ObjMergeOrder()
1306 …Lf_CutSetForEachCut( nCutWords, pCutSet1, pCut1, k, nCuts1 ) if ( (int)pCut1->nLeaves <= nLutSize ) in Lf_ObjMergeOrder()