Searched refs:conflictClauses (Results 1 – 2 of 2) sorted by relevance
162 static SATClauseStack conflictClauses; in addTheoryConflicts() local163 conflictClauses.reset(); in addTheoryConflicts()170 conflictClauses.push(cl); in addTheoryConflicts()172 addClausesToSAT(conflictClauses); in addTheoryConflicts()
326 unsigned conflictClauses; member in Shell::Statistics