Home
last modified time | relevance | path

Searched refs:BookMarkE (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatClause.h75 int BookMarkE[2]; // bookmarks for entries member
251 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()
H A DsatSolver2.c1629 s->stats.clauses = pMem->BookMarkE[0]; in sat_solver2_rollback()
1630 s->stats.learnts = pMem->BookMarkE[1]; in sat_solver2_rollback()
H A DsatSolver3.c1655 s->stats.clauses = pMem->BookMarkE[0]; in sat_solver3_rollback()
1656 s->stats.learnts = pMem->BookMarkE[1]; in sat_solver3_rollback()
H A DsatSolver.c1690 s->stats.clauses = pMem->BookMarkE[0]; in sat_solver_rollback()
1691 s->stats.learnts = pMem->BookMarkE[1]; in sat_solver_rollback()