Method getMaxJudgingThreads

src/base/settings.cpp:125–125

auto Settings::getRejudgeTimes() const -> int { return rejudgeTimes; }

auto Settings::getMaxJudgingThreads() const -> int { return maxJudgingThreads; }

auto Settings::getDefaultExtraTimeRatio() const -> double { return defaultExtraTimeRatio; }