depth_limit
was reached?This can be used to query if some solutions may have been
ignored because of a depth_limit
.
This is also used automatically if iterative_deepening
is activated.
# How much time a `depth_limit` was reached?
#
# This can be used to query if some solutions may have been
# ignored because of a `depth_limit`.
#
# This is also used automatically if `iterative_deepening` is activated.
var depth_limit_reached: Int = 0
lib/ai/search.nit:328,2--334,33