Build the sequence of nodes from the initial node to self

ensure result.first.is_root and result.last == self

Property definitions

ai $ SearchNode :: path
	# Build the sequence of nodes from the initial node to `self`
	#
	# ensure `result.first.is_root and result.last == self`
	fun path: Sequence[SearchNode[S, A]]
	do
		var res = new List[SearchNode[S, A]]
		res.add(self)
		var node = parent
		while node != null do
			res.unshift(node)
			node = node.parent
		end
		return res
	end
lib/ai/search.nit:699,2--712,4