Module Libelectrod.Elo_to_smv1Source

Provides a transformation from Electrod models to SMV models. Uses enumerations when possible.

Sourcemodule SMV_LTL : sig ... end
Sourcemodule SMV_file_format : sig ... end
Sourcemodule Elo_to_SMV_LTL : sig ... end
Sourcemodule Elo_to_SMV_model : sig ... end
Sourceval pp : ?margin:int -> Format.formatter -> SMV_file_format.t -> unit
Sourceval analyze : conversion_time:Mtime.span -> cmd:string -> script:Libelectrod__Solver.script_type -> keep_files:bool -> no_analysis:bool -> elo:Elo.t -> file:string -> bmc:int option -> SMV_file_format.t -> Outcome.t
Sourceval run : (Elo.t * bool * int) -> SMV_file_format.t
Sourceval transfo : (Elo.t * bool * int, SMV_file_format.t) Transfo.t