Searched refs:newFactorFrequency (Results 1 – 1 of 1) sorted by relevance
333 int newFactorFrequency = CoinMin(forceFactorization_, frequency[error]); in getTableauColumnFlipAndStartReplaceSerial() local335 if (newFactorFrequency < forceFactorization_) in getTableauColumnFlipAndStartReplaceSerial()338 forceFactorization_, newFactorFrequency); in getTableauColumnFlipAndStartReplaceSerial()343 forceFactorization_ = newFactorFrequency; in getTableauColumnFlipAndStartReplaceSerial()801 int newFactorFrequency = CoinMin(forceFactorization_, frequency[error]); in getTableauColumnFlipAndStartReplaceThread() local803 if (newFactorFrequency < forceFactorization_) in getTableauColumnFlipAndStartReplaceThread()806 forceFactorization_, newFactorFrequency); in getTableauColumnFlipAndStartReplaceThread()811 forceFactorization_ = newFactorFrequency; in getTableauColumnFlipAndStartReplaceThread()1234 if (newFactorFrequency < forceFactorization_) in getTableauColumnFlipAndStartReplaceCilk()1237 forceFactorization_, newFactorFrequency); in getTableauColumnFlipAndStartReplaceCilk()[all …]