Searched refs:BookMarkE (Results 1 – 4 of 4) sorted by relevance
75 int BookMarkE[2]; // bookmarks for entries member251 p->BookMarkE[0] = p->nEntries[0]; in Sat_MemBookMark()252 p->BookMarkE[1] = p->nEntries[1]; in Sat_MemBookMark()258 p->nEntries[0] = p->BookMarkE[0]; in Sat_MemRollBack()259 p->nEntries[1] = p->BookMarkE[1]; in Sat_MemRollBack()458 p->BookMarkE[1] = p->nEntries[1]; in Sat_MemCompactLearned()461 p->BookMarkE[1] = clause_id(Sat_MemClauseHand( p, p->BookMarkH[1] )); in Sat_MemCompactLearned()
1629 s->stats.clauses = pMem->BookMarkE[0]; in sat_solver2_rollback()1630 s->stats.learnts = pMem->BookMarkE[1]; in sat_solver2_rollback()
1655 s->stats.clauses = pMem->BookMarkE[0]; in sat_solver3_rollback()1656 s->stats.learnts = pMem->BookMarkE[1]; in sat_solver3_rollback()
1690 s->stats.clauses = pMem->BookMarkE[0]; in sat_solver_rollback()1691 s->stats.learnts = pMem->BookMarkE[1]; in sat_solver_rollback()