Merge: Various fixes and improvements from We Broke The World

[nit.git] / lib / ai / search.nit

diff --git a/lib/ai/search.nit b/lib/ai/search.nit
index 20a502c..f279d4f 100644 (file)
--- a/lib/ai/search.nit
+++ b/lib/ai/search.nit
@@ -13,6 +13,8 @@
 # The module provides a simple abstract class `SearchProblem[S,A]` to be specialized for a specific problem.
 #
 # The concrete class `SearchSolver` is used to configure, query, and run a solver for a given problem.
+#
+# For an example, see the `puzzle.nit` program in the `examples` subdirectory.
 module search
 
 import realtime
@@ -97,7 +99,7 @@ interface SearchProblem[S: Object, A]
        # An heuristic of the estimated `cost` going from `state` to a goal state.
        #
        # Is is expected that the heuristic is *admissible*, it means its is an
-       # optimistic estimation that never an over-estimate, thus is cannot be#
+       # optimistic estimation and never an over-estimate, thus is cannot be
        # higher than the lowest possible remaining cost.
        # See `SearchSolver::do_revisit` for details.
        #