Module `Util`Source

Miscellaneous general purposes functions.

Sourceval rm : 'a -> 'a list -> 'a list

rm x l returns l without x.

Sourceval rm_first : 'a -> 'a list -> 'a list

rm_first x l returns l without the left-most occurence of x.

Sourceval list_is_included : 'a list -> 'a list -> bool

list_is_included l1 l2 tests if elements of l1 are included into l2.

Sourceval count_empty_list : 'a list list -> int

count_empty_list llist counts the number of empty list that occurs in the list of list llist

Sourceval compare_list : 'a list -> 'a -> 'a -> int

compare 2 elements according to the order defined by a list

Sourceval string_to_string_list : string -> string list

Sourceval append_and_sort : 'a list -> 'a list -> 'a list

Appends two lists and sorts the result

Sourceval append_and_sort_rev : 'a list -> 'a list -> 'a list

Sourceval list_are_equals : 'a list -> 'a list -> bool

list_are_equals l1 l2 tests if l1 and l2 contains the same elements (in any order).

Sourceval list_intersec : 'a list -> 'a list -> 'a list

list_intersec l1 l2 returns all the elements that are both in l1 and l2.

Sourceval diff_list_as_set : 'a list -> 'a list -> 'a list

diff_list_as_set l1 l2 returns all the elements that are in l1 and not in l2.

Sourceval sorted : 'a list -> bool

Checks is a list is sorted w.r.t. compare

Sourceval power_2 : int -> int

power a b returns a to the power of b

Sourceval readfile_rm_crtl_m : string -> string

Source

val list_iter3 : 
  ('a -> 'b -> 'c -> unit) ->
  'a list ->
  'b list ->
  'c list ->
  unit

Source

val list_fold_left3 : 
  ('a -> 'b -> 'c -> 'd -> 'a) ->
  'a ->
  'b list ->
  'c list ->
  'd list ->
  'a

Source

val list_fold_left4 : 
  ('a -> 'b -> 'c -> 'd -> 'e -> 'a) ->
  'a ->
  'b list ->
  'c list ->
  'd list ->
  'e list ->
  'a

Source

val list_fold_left5 : 
  ('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'a) ->
  'a ->
  'b list ->
  'c list ->
  'd list ->
  'e list ->
  'f list ->
  'a

Source

val list_map3 : 
  ('a -> 'b -> 'c -> 'd) ->
  'a list ->
  'b list ->
  'c list ->
  'd list

Source

val list_map4 : 
  ('a -> 'b -> 'c -> 'd -> 'e) ->
  'a list ->
  'b list ->
  'c list ->
  'd list ->
  'e list

Source

val list_map6 : 
  ('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g) ->
  'a list ->
  'b list ->
  'c list ->
  'd list ->
  'e list ->
  'f list ->
  'g list

Sourceval list_split3 : ('a * 'b * 'c) list -> 'a list * 'b list * 'c list

Source

val list_split4 : 
  ('a * 'b * 'c * 'd) list ->
  'a list * 'b list * 'c list * 'd list

Source

val list_split6 : 
  ('a * 'b * 'c * 'd * 'e * 'f) list ->
  'a list * 'b list * 'c list * 'd list * 'e list * 'f list

Source

val list_split7 : 
  ('a * 'b * 'c * 'd * 'e * 'f * 'g) list ->
  'a list * 'b list * 'c list * 'd list * 'e list * 'f list * 'g list

Sourceval no_dup : 'a list -> 'a option

checks that a list does not contain any duplicate

Sourceval rm_dup : 'a list -> 'a list

Removes duplicates from a list (conserving its order)

Sourceval sort_list_string_pair : (string * 'a) list -> (string * 'a) list

Sorts a list of pair which lhs is a string lexicographically w.r.t. to this string.

Sourceval merge : 'a list -> 'a list -> 'a list

Merges two lists without introducing duplicates, respecting the original elements ordering.

Sourceval unfold : ('a -> 'b) -> 'a -> int -> 'b list

unfold f i n calls n times f i and returns the n results into a list, e.g., [(f i); (f i); ...; (f i)]. Of course, this makes more sense if f is not side effects free.

Sourceval unfold_do : ('a -> 'b) -> 'a -> int -> 'b list

Sourceval call_n_times : ('a -> 'a) -> 'a -> int -> 'a

call_n_times f i n applies f n times , e.g., f(f(f(f...(f i)))).

Sourceval hashtbl_size : ('a, 'b) Hashtbl.t -> int

Returns the size of an Hashtbl.

is_substring ss s test whether ss a sub-string of s

Sourceval is_substring : string -> string -> bool

Sourceval gauss_draw : float -> float -> float

gauss_draw m d generates a gaussian pseudo-random number of mean m and deviation d. The generation algorithm is based on the so-called << polar form of the Box-Muller transformation >> that I found it at the url http://www.taygeta.com/random/gaussian.html

Sourceval gauss_draw2 : float -> float -> float * float

Ditto, but returns 2 numbers. Indeed, the Box-Muller algorithm computes 2 of them anyway...

Sourcemodule StringMap : sig ... end

Map of strings

Sourceval mfind : StringMap.key -> 'a StringMap.t -> 'a

Sourceval hfind : ('a, 'b) Hashtbl.t -> 'a -> 'b

Sourceval precision : int ref

Sourceval eps : float ref

Sourceval update_eps : unit -> unit

Sourceval change_precision : int -> unit

I define my own version of print_float to turn around a bug (or is it a bug in ocaml?) of sim2chro where it does not understand floats without digit (e.g., 4. instead of 4.0)

Sourceval format_float : string -> float -> string

Sourceval my_string_of_float : float -> string

Sourceval my_string_of_float_precision : float -> int -> string

Sourceval my_print_float : float -> 'a -> unit

Sourceval get_extension : string -> string

returns the extension of a filename

Sourceval chop_ext_no_excp : string -> string

Sourceval remove_extension : string -> string

Sourceval cartesian_product : 'a list -> 'a list -> ('a -> 'a -> 'b) -> 'b list

Sourceval union_find : ('a list -> 'a list -> bool) -> 'a list list -> 'a list list

Sourceval from_char_pos_to_line_and_col : string -> int -> bool -> string * string

Sourceval skip_cr : char Stream.t -> int -> int -> int -> bool -> string * string

Sourceval get_new_line_number : char Stream.t -> int -> int

Sourceval search_int : char list -> int option

Sourceval search_int_acc : string -> char list -> int option

Sourcetype my_create_process_result =

| OK
| KO
| PID of int

Source

val my_create_process : 
  ?std_in:Unix.file_descr ->
  ?std_out:Unix.file_descr ->
  ?std_err:Unix.file_descr ->
  ?wait:bool ->
  string ->
  string list ->
  my_create_process_result

Sourceval gv : string -> unit

gv ps_file calls the post-script visualizer gv on ps_file.

Sourceval pdf : string -> unit

pdf file calls the pdf visualizer xpdf on file.

Sourceval dot : string -> string -> int

dot dot_file ps_file calls dot on dot_file and produce its result in pd_file

Sourceval get_fresh_dir : string -> string

Sourceval exe : unit -> string

Source

val tabulate_result : 
  ('a, 'b) Hashtbl.t ref ->
  int ref ->
  int ->
  ('a -> 'b) ->
  'a ->
  'b

Sourceval print_fl : out_channel -> float list -> unit

Sourceval print_fll : out_channel -> float list list -> unit

Sourceval transpose : 'a list list -> 'a list list

Sourceval safe_remove_file : string -> unit

Sourceval entete : string -> string -> string

Sourceval generate_up_and_down_macro : string -> unit

Sourceval rm_dir : out_channel -> string -> unit

Source

val get_io_from_lustre : 
  string ->
  string option ->
  (string * string) list * (string * string) list

Sourceval overflow_msg : string -> unit

Sourceval int_of_string : string -> int

Sourceval int_of_num : Num.num -> int

Sourceval usage_out : (Arg.key * Arg.spec * Arg.doc) list -> Arg.usage_msg -> unit

Sourceval big_max_int : Big_int.big_int

Sourceval my_int_of_string : string -> int

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/lutin/Util/index.html

Module `Util`Source

package lutin

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/lutin/Util/index.html

Module UtilSource

dune-project
Dependency

Module `Util`Source