Searched refs:NextClauseToMinimize (Results 1 – 2 of 2) sorted by relevance
247 SatClause* NextClauseToMinimize() { in NextClauseToMinimize() function
1256 SatClause* to_minimize = clauses_propagator_->NextClauseToMinimize(); in MinimizeSomeClauses()