The problem currently solved

Property definitions

ai $ BacktrackSolver :: problem
	# The problem currently solved
	var problem: BacktrackProblem[S,A]
lib/ai/backtrack.nit:122,2--123,35