Searched refs:vec_confl (Results 1 – 1 of 1) sorted by relevance
615 LitVector* vec_confl = new LitVector(confl.size()); in registerAssumptionConflict() local617 vec_confl->operator[](i) = confl[i]; in registerAssumptionConflict()620 printClause<Solver>(*vec_confl); in registerAssumptionConflict()624 d_assumptionConflictsDebug[new_id] = vec_confl; in registerAssumptionConflict()