package lutin

  1. Overview
  2. Docs
Lutin: modeling stochastic reactive systems

Install 

dune-project
 Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier
  2. P
    Pascal Raymond
  3. Y
    Yvan Roux

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de

doc/lutin/Util/index.html

Module UtilSource

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
Sourceval list_iter3 : ('a -> 'b -> 'c -> unit) -> 'a list -> 'b list -> 'c list -> unit
Sourceval list_fold_left3 : ('a -> 'b -> 'c -> 'd -> 'a) -> 'a -> 'b list -> 'c list -> 'd list -> 'a
Sourceval list_fold_left4 : ('a -> 'b -> 'c -> 'd -> 'e -> 'a) -> 'a -> 'b list -> 'c list -> 'd list -> 'e list -> 'a
Sourceval list_fold_left5 : ('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'a) -> 'a -> 'b list -> 'c list -> 'd list -> 'e list -> 'f list -> 'a
Sourceval list_map3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list
Sourceval list_map4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a list -> 'b list -> 'c list -> 'd list -> 'e list
Sourceval 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
Sourceval list_split4 : ('a * 'b * 'c * 'd) list -> 'a list * 'b list * 'c list * 'd list
Sourceval list_split6 : ('a * 'b * 'c * 'd * 'e * 'f) list -> 'a list * 'b list * 'c list * 'd list * 'e list * 'f list
Sourceval 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 =
  1. | OK
  2. | KO
  3. | PID of int
Sourceval 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
Sourceval 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
Sourceval 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