(*-----------------------------------------------------------------------
** 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. *)