Does the solver need to memorize visited states?

When activated, there is an increased memory consumption since all visited states must be kept in memory, However, there is real a gain, since visited nodes are not revisited (unless needed by do_revisit)

Default: true

Note: If the graph of states has circuits, then a memory-less search may not terminate.

Property definitions

ai $ SearchSolver :: memorize
	# Does the solver need to memorize visited states?
	# When activated, there is an increased memory consumption since
	# all visited states must be kept in memory,
	# However, there is real a gain, since visited nodes are not
	# revisited (unless needed by `do_revisit`)
	#
	# Default: `true`
	#
	# Note: If the graph of states has circuits, then a memory-less search may not terminate.
	var memorize: Bool = true is writable
lib/ai/search.nit:250,2--259,38