Searched refs:nLitId (Results 1 – 2 of 2) sorted by relevance
3722 for (int nLitId = (int)add_tmp_canceluntil.size() - 1; nLitId >= 0; --nLitId) { in cancelUntil() local3723 trail.push_back(add_tmp_canceluntil[nLitId]); in cancelUntil()3826 for (uint32_t nLitId = 1; nLitId < size; ++nLitId) { in find_conflict_level() local3827 uint32_t nLevel = varData[clause[nLitId].var()].level; in find_conflict_level()3829 highestId = nLitId; in find_conflict_level()