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