uct_search(): Terminate early when we estimate the result cannot change anymore
commit84ee6da072bdb587bf1326c9449e979c5515352f
authorPetr Baudis <pasky@ucw.cz>
Thu, 11 Feb 2010 02:32:03 +0000 (11 03:32 +0100)
committerPetr Baudis <pasky@ucw.cz>
Thu, 11 Feb 2010 02:32:03 +0000 (11 03:32 +0100)
treed68a91c4625aade2d90b789ef37b029e774bdc76
parent928a251b4a0f6556ab3f20339c17e722b12ea930
uct_search(): Terminate early when we estimate the result cannot change anymore
uct/uct.c