Searched defs:handleModel (Results 1 – 6 of 6) sorted by relevance
331 bool handleModel(Solver& s) { commitUpperBound(s); return true; } in handleModel() function
1073 bool UncoreMinimize::handleModel(Solver& s) { in handleModel() function in Clasp::UncoreMinimize
1074 bool UncoreMinimize::handleModel(Solver& s) { in handleModel() function in Clasp::UncoreMinimize