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.mli 1.47 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(*-----------------------------------------------------------------------
** Copyright (C) 2001 - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License 
**-----------------------------------------------------------------------
**
** File: command_line.mli
** Main author: jahier@imag.fr
*)

(** Handles everything that is related to command line lurette calls:
 printing lurette usage message, handling command line options, etc. 
*)


type optionsT = {
  mutable step_by_step : bool ;
  mutable display_local_var : bool ;
  mutable display_sim2chro : bool ;
20
(*   mutable cudd_heap_init : int ; *)
21
  mutable user_seed : int ;
22
  mutable verbose : bool ;
23
  mutable show_step : bool ;
24
  mutable help : bool ;
25
  mutable output : string ;
26
  mutable oracle : bool
27
28
29
30
31
32
33
34
35
36
37
38
}

val usage : string
(** Usage message to be printed if an error occur when lurette 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 = 
39
    Step | NoStep | Help
40
41
  | DisplayLocalVar | NoDisplayLocalVar 
  | Sim2chro | NoSim2chro 
42
(*   | CuddHeapInit  *)
43
  | Inside | Edges | Vertices
44
  | Seed | Precision | NoOracle | Verbose | ShowStep | Output
45
46
47


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