Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
822ce6f6
Commit
822ce6f6
authored
Jul 06, 2015
by
POTTIER Francois
Browse files
Re-ordering.
parent
dbf87984
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/astar.mli
View file @
822ce6f6
...
@@ -18,14 +18,14 @@ module Make (G : sig
...
@@ -18,14 +18,14 @@ module Make (G : sig
val
sources
:
(
node
->
unit
)
->
unit
val
sources
:
(
node
->
unit
)
->
unit
(* Whether a node is a goal node. *)
val
is_goal
:
node
->
bool
(* [successors n f] presents each of [n]'s successors, in
(* [successors n f] presents each of [n]'s successors, in
an arbitrary order, to [f], together with the cost of
an arbitrary order, to [f], together with the cost of
the edge that was followed. *)
the edge that was followed. *)
val
successors
:
node
->
(
label
->
int
->
node
->
unit
)
->
unit
val
successors
:
node
->
(
label
->
int
->
node
->
unit
)
->
unit
(* Whether a node is a goal node. *)
val
is_goal
:
node
->
bool
(* An estimate of the cost of the shortest path from the
(* An estimate of the cost of the shortest path from the
supplied node to some goal node. This estimate must
supplied node to some goal node. This estimate must
be a correct under-approximation of the actual cost. *)
be a correct under-approximation of the actual cost. *)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment