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.

Property definitions

ai $ SearchSolver :: depth_limit_reached=
	# 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