(*----------------------------------------------------------------------- ** Copyright (C) 2002 - Verimag. ** This file may only be copied under the terms of the GNU Library General ** Public License **----------------------------------------------------------------------- ** ** File: command_line_luc_exe.mli ** Main author: jahier@imag.fr *) (** Handles everything that is related to command line calls. *) type optionsT = { mutable show_automata : bool ; mutable boot : bool ; mutable user_seed : int } val usage : string (** Usage message to be printed if an error occur when luc_exe is called. *) val cmd_line_string_to_int : string -> string -> int (** [cmd_line_string_to_int str errmsg] converts a string (of the command line) into an integer, and prints [errmsg] before aborting if the convertion failed. *) type cmd_line_optionT = Seed | Inside | Edges | Precision | Boot | ShowAut | NoShowAut | Verbose val string_to_option: (string * cmd_line_optionT) list (** Mapping from options string (e.g., "--with_seed") to the cmd_line_optionT type. *)