Module Sasacore.SasArg

type t = {
  1. mutable topo : string;
  2. mutable length : int;
  3. mutable cores_nb : int;
  4. mutable verbose : int;
  5. mutable daemon : DaemonType.t;
  6. mutable es_stop_if_no_progress : int option;
  7. mutable es_dfs : bool;
  8. mutable es_bfs : bool;
  9. mutable es_tabu_mode : bool;
  10. mutable is_tabu_mode : bool;
  11. mutable es_continue_after_best : bool;
  12. mutable es_dont_cut : bool;
  13. mutable restart : bool;
  14. mutable rif : bool;
  15. mutable output_file_name : string option;
  16. mutable no_data_file : bool;
  17. mutable quiet : bool;
  18. mutable ifi : bool;
  19. mutable gen_dot_at_legit : bool;
  20. mutable gen_lutin : bool;
  21. mutable gen_oracle : bool;
  22. mutable dummy_input : bool;
  23. mutable output_algos : bool;
  24. mutable gen_register : bool;
  25. mutable _args : (string * Stdlib.Arg.spec * string) list;
  26. mutable _user_man : (string * string list) list;
  27. mutable _hidden_man : (string * string list) list;
  28. mutable _others : string list;
  29. mutable _margin : int;
}
val usage_msg : string -> string
val parse : string array -> t