Module MainArgSource

LUTIN2 : arguments de la commande

Sourcetype t
Sourceval parse : string array -> t
Sourceval make_opt : unit -> t
Sourceval usage : out_channel -> t -> unit
Sourceval full_usage : out_channel -> t -> unit
Sourceval version : string
Sourceval tool_name : string
Sourceval usage_msg : string
Sourceval infile : t -> string list
Sourceval test_lex : t -> bool
Sourceval test_parse : t -> bool
Sourceval test_check : t -> bool
Sourceval test_expand : t -> bool
Sourceval test_auto : t -> bool
Sourceval main_node : t -> string
Sourceval test_exe : t -> bool
Sourceval run : t -> bool
Sourceval boot : t -> bool
Sourceval max_steps : t -> int option
Sourcetype gen_mode =
  1. | Simu
  2. | GenLuc
  3. | Ocaml
  4. | Cstubs
Sourceval gen_mode : t -> gen_mode
Sourceval load_mem : t -> bool
Sourceval seed : t -> int
Sourceval set_seed : t -> int option -> unit
Sourceval event_incr : t -> unit
Sourceval get_event_nb : t -> int
Sourceval libs : t -> string list option
Sourceval set_libs : t -> string list -> t
Sourceval outfile : t -> string option
Sourceval outpipe : t -> bool
Sourceval riffile : t -> string option
Sourceval call_gnuplot : t -> bool
Sourceval only_outputs : t -> bool
Sourceval show_locals : t -> bool
Sourceval set_show_locals : t -> bool -> unit
Sourceval see_all_options : t -> bool
Sourceval step_mode : t -> Lucky.step_mode
Sourceval set_step_mode : t -> Lucky.step_mode -> unit
Sourceval compute_volume : t -> bool
Sourceval set_compute_volume : t -> bool -> unit
Sourceval set_precision : int -> unit