Searched refs:promoteOneWatchedClause (Results 1 – 2 of 2) sorted by relevance
157 , promoteOneWatchedClause(true) in Solver()240 , promoteOneWatchedClause(s.promoteOneWatchedClause) in Solver()1208 if(promoteOneWatchedClause) { in propagateUnaryWatches()
250 …bool promoteOneWatchedClause; // One watched clauses are promotted to two watched clauses if fo… variable