ai :: SearchNode :: path
self
ensure result.first.is_root and result.last == self
# 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