Module Option.Cegar


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 =
| Rel
| PostPre
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