Up – Package index » coq » Library coq-core.lib » Explore » Make

Module `Explore.Make`Source

Parameters

module S : SearchProblem

Sourceval depth_first : S.state -> S.state

Sourceval debug_depth_first : S.state -> S.state

Sourceval breadth_first : S.state -> S.state

Sourceval debug_breadth_first : S.state -> S.state