Searched refs:pClaProofs (Results 1 – 1 of 1) sorted by relevance
1413 int * pPerm, * pSortValues, nCutoffValue, * pClaProofs; in sat_solver2_reducedb() local1481 pClaProofs = veci_size(&s->claProofs) ? veci_begin(&s->claProofs) : NULL; in sat_solver2_reducedb()1488 if ( pClaProofs ) in sat_solver2_reducedb()1489 pClaProofs[j] = pClaProofs[clause_id(c)]; in sat_solver2_reducedb()