The problem currently solved

Property definitions

ai $ SearchSolver :: problem
	# The problem currently solved
	var problem: SearchProblem[S, A]
lib/ai/search.nit:235,2--236,33