Searched refs:lLits (Results 1 – 9 of 9) sorted by relevance
297 if ( pCube->lLits.pTail && pCube->lLits.pTail->iVar >= 2 * pData->nNodesOld ) in Fxu_CreateCovers()342 for ( pLit = pCube->lLits.pHead; pLit; pLit = pLit->pHNext ) in Fxu_CreateCoversNode()362 p->ppVars[ 2 * vInputsNew->pArray[v] + 0 ]->lLits.nItems = v; // hack - reuse lLits.nItems in Fxu_CreateCoversNode()363 p->ppVars[ 2 * vInputsNew->pArray[v] + 1 ]->lLits.nItems = v; // hack - reuse lLits.nItems in Fxu_CreateCoversNode()369 if ( pCube->lLits.nItems ) in Fxu_CreateCoversNode()382 if ( pCube->lLits.nItems == 0 ) in Fxu_CreateCoversNode()387 for ( pLit = pCube->lLits.pHead; pLit; pLit = pLit->pHNext ) in Fxu_CreateCoversNode()389 iNum = pLit->pVar->lLits.nItems; // hack - reuse lLits.nItems in Fxu_CreateCoversNode()
82 pLit1 = (*ppCube1)->lLits.pHead; in Fxu_PairCanonicize()83 pLit2 = (*ppCube2)->lLits.pHead; in Fxu_PairCanonicize()177 pLit1 = pCube1->lLits.pHead; in Fxu_PairHashKey()178 pLit2 = pCube2->lLits.pHead; in Fxu_PairHashKey()248 pD1C1 = pPair1->pCube1->lLits.pHead; in Fxu_PairCompare()249 pD1C2 = pPair1->pCube2->lLits.pHead; in Fxu_PairCompare()251 pD2C1 = pPair2->pCube1->lLits.pHead; in Fxu_PairCompare()252 pD2C2 = pPair2->pCube2->lLits.pHead; in Fxu_PairCompare()
311 assert( pCubeUse->lLits.nItems == pPair->nBase + 1 ); in Fxu_UpdateDoublePairs()312 assert( pCubeRem->lLits.nItems == 0 ); in Fxu_UpdateDoublePairs()343 pLit1 = pPair->pCube1->lLits.pHead; in Fxu_UpdateMatrixDoubleCreateCubes()344 pLit2 = pPair->pCube2->lLits.pHead; in Fxu_UpdateMatrixDoubleCreateCubes()410 pLit1 = pCubeUse->lLits.pHead; in Fxu_UpdateMatrixDoubleClean()411 pLit2 = pCubeRem->lLits.pHead; in Fxu_UpdateMatrixDoubleClean()500 pLit1 = pVar1->lLits.pHead; in Fxu_UpdateMatrixSingleClean()501 pLit2 = pVar2->lLits.pHead; in Fxu_UpdateMatrixSingleClean()738 if ( pTemp->lLits.nItems == 0 ) in Fxu_UpdateAddNewDoubles()
134 for ( pLitV = pVar->lLits.pHead; pLitV; pLitV = pLitV->pVNext ) in Fxu_MatrixComputeSinglesOneCollect()194 for ( pLitV = pVar->lLits.pHead; pLitV; pLitV = pLitV->pVNext ) in Fxu_MatrixComputeSinglesOne()248 pLit1 = pVar1->lLits.pHead; in Fxu_SingleCountCoincidence()249 pLit2 = pVar2->lLits.pHead; in Fxu_SingleCountCoincidence()
285 Fxu_ListLit * pList = &(pCube->lLits); in Fxu_ListCubeAddLiteral()316 Fxu_ListLit * pList = &(pCube->lLits); in Fxu_ListCubeDelLiteral()344 Fxu_ListLit * pList = &(pVar->lLits); in Fxu_ListVarAddLiteral()375 Fxu_ListLit * pList = &(pVar->lLits); in Fxu_ListVarDelLiteral()
206 Fxu_ListLit lLits; // the row in the table member219 Fxu_ListLit lLits; // the column in the table member339 for ( Lit = (Cube)->lLits.pHead;\343 for ( Lit = (Cube)->lLits.pHead, Lit2 = (Lit? Lit->pHNext: NULL);\348 for ( Lit = (Var)->lLits.pHead;\
415 pLit1 = pPair->pCube1->lLits.pHead; in Fxu_MatrixGetDoubleVars()416 pLit2 = pPair->pCube2->lLits.pHead; in Fxu_MatrixGetDoubleVars()549 for ( pLitV = pVar1->lLits.pHead; pLitV; pLitV = pLitV->pVNext ) in Fxu_SelectSCD()
399 AnnotationLiteralListParsenode* lLits = lAnn->get_literals().getp(); in DEFAULT_VISIT() local402 if (lLits) in DEFAULT_VISIT()404 for (size_t j = 0; j < lLits->size(); ++j) in DEFAULT_VISIT()409 exprnode* lLit = (*lLits)[j].getp(); in DEFAULT_VISIT()
118 AnnotationLiteralListParsenode* lLits = lAnn->get_literals().getp(); in print_annotations() local121 if (lLits) in print_annotations()123 for (size_t j = 0; j < lLits->size(); ++j) in print_annotations()128 exprnode* lLit = (*lLits)[j].getp(); in print_annotations()