Searched refs:nTopLeaves (Results 1 – 2 of 2) sorted by relevance
45 unsigned nTopLeaves : 10; // top leaves member517 pCutTemp->nTopLeaves = Sbd_CutTopLeaves( p, iObj, pCutTemp ); in Sbd_StoPrepareSet()572 pCuts[i]->nTopLeaves = Sbd_CutTopLeaves( p, iObj, pCuts[i] ); in Sbd_StoComputeSpec()588 pCut->Cost, pCut->CostLev, pCut->nTreeLeaves, pCut->nSlowLeaves, pCut->nTopLeaves ); in Sbd_CutPrint()817 (int)p->ppCuts[i]->nTopLeaves <= p->nLutSize-1 && in Sbd_StoObjBestCut()
44 unsigned nTopLeaves : 10; // top leaves member