Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

command_line_luc_exe.mli 1.06 KB
Newer Older
1
(*-----------------------------------------------------------------------
2
** Copyright (C) 2002 - Verimag.
3
4
5
6
** This file may only be copied under the terms of the GNU Library General
** Public License 
**-----------------------------------------------------------------------
**
7
** File: command_line_luc_exe.mli
8
9
10
11
12
13
14
15
** Main author: jahier@imag.fr
*)

(** Handles everything that is related to command line calls. 
*)


type optionsT = {
16
  mutable show_automata : bool ;
17
  mutable boot : bool ;
18
  mutable user_seed : int 
19
20
21
}

val usage : string
22
(** Usage message to be printed if an error occur when luc_exe is called. *)
23
24
25
26
27
28
29
30

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 = 
31
    Seed | Inside | Edges | Precision | Boot | ShowAut | NoShowAut | Verbose
32
33
34
35
36


val string_to_option: (string * cmd_line_optionT) list
(** Mapping from options string (e.g., "--with_seed") to the cmd_line_optionT 
  type. *)