Home
last modified time | relevance | path

Searched refs:panicModeLastRemovedShared (Results 1 – 3 of 3) sorted by relevance

/dports/math/glucose/glucose-syrup-4.1/parallel/
H A DParallelSolver.cc205 limit = panicModeLastRemovedShared; in reduceDB()
206 panicModeLastRemovedShared = 0; in reduceDB()
216 panicModeLastRemovedShared++; in reduceDB()
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc155 , panicModeLastRemoved(0), panicModeLastRemovedShared(0) in Solver()
238 , panicModeLastRemoved(s.panicModeLastRemoved), panicModeLastRemovedShared(s.panicModeLastRemovedSh… in Solver()
H A DSolver.h247 uint32_t panicModeLastRemoved, panicModeLastRemovedShared; variable