Rename of TimeMgr and friends

More natural naming IMO.

No functional change.
This commit is contained in:
Marco Costalba
2015-04-02 09:07:17 +02:00
parent 5d1b92e8f9
commit df722521ba
3 changed files with 21 additions and 21 deletions

View File

@@ -78,7 +78,7 @@ namespace {
/// inc > 0 && movestogo == 0 means: x basetime + z increment
/// inc > 0 && movestogo != 0 means: x moves in y minutes + z increment
void TimeManager::init(const Search::LimitsType& limits, Color us, int ply, TimePoint now)
void TimeManagement::init(const Search::LimitsType& limits, Color us, int ply, TimePoint now)
{
int minThinkingTime = Options["Minimum Thinking Time"];
int moveOverhead = Options["Move Overhead"];