module Cegar: sig
.. end
type
graph_exploration_type =
| |
Fwd_dfs |
| |
Fwd_bfs |
| |
Bwd_dfs |
| |
Bwd_bfs |
| |
Mixed |
val graph_exploration_names : (graph_exploration_type * string) list
type
graph_refinement_type =
val graph_refinement_names : (graph_refinement_type * string) list
val graph_exploration_opt : graph_exploration_type ref
val graph_refinement_opt : graph_refinement_type ref
val graph_exploration : unit -> graph_exploration_type
val graph_refinement : unit -> graph_refinement_type
val arg_spec : unit -> (string * Arg.spec * string) list