Home
last modified time | relevance | path

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

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.cpp3722 for (int nLitId = (int)add_tmp_canceluntil.size() - 1; nLitId >= 0; --nLitId) { in cancelUntil() local
3723 trail.push_back(add_tmp_canceluntil[nLitId]); in cancelUntil()
3826 for (uint32_t nLitId = 1; nLitId < size; ++nLitId) { in find_conflict_level() local
3827 uint32_t nLevel = varData[clause[nLitId].var()].level; in find_conflict_level()
3829 highestId = nLitId; in find_conflict_level()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.cpp3722 for (int nLitId = (int)add_tmp_canceluntil.size() - 1; nLitId >= 0; --nLitId) { in cancelUntil() local
3723 trail.push_back(add_tmp_canceluntil[nLitId]); in cancelUntil()
3826 for (uint32_t nLitId = 1; nLitId < size; ++nLitId) { in find_conflict_level() local
3827 uint32_t nLevel = varData[clause[nLitId].var()].level; in find_conflict_level()
3829 highestId = nLitId; in find_conflict_level()