Searched refs:nClausesStart (Results 1 – 3 of 3) sorted by relevance
411 for ( i = p->nClausesStart; i < nClauses; i++ ) in Msat_SolverRemoveMarked()416 Msat_ClauseVecShrink( p->vClauses, p->nClausesStart ); in Msat_SolverRemoveMarked()
100 int nClausesStart; // the number of clauses before adding member
69 void Msat_SolverMarkClausesStart( Msat_Solver_t * p ) { p->nClausesStart =… in Msat_SolverMarkClausesStart()