Module Explore.Make

Parameters

• S : SearchProblem

Signature

val depth_first : S.state -> S.state

val debug_depth_first : S.state -> S.state

val breadth_first : S.state -> S.state

val debug_breadth_first : S.state -> S.state