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. B
    Bertrand Jeannnet (polka)
  4. Y
    Yvan Roux

Maintainers

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

Sources

lutin.2.70.4-fix.tgz
sha256=8a72b7832cc7ce4e08d36c46611ec58278cf890fb70e62b4093003605d777704
md5=3b8375658938b3757ab2a14e5a54a51a

doc/polka/Matrix/index.html

Module Matrix

type t
and equation = {
  1. var : int;
  2. expr : Vector.t;
}
val dummy : t
val make : int -> int -> t
val copy : t -> t
val _print : t -> unit
val compare : t -> t -> int
val hash : t -> int
val compare_sort : t -> t -> int
val hash_sort : t -> int
val get : t -> int -> int -> int
val get_str10 : t -> int -> int -> string
val set : t -> int -> int -> int -> unit
val set_str10 : t -> int -> int -> string -> unit
val get_row : t -> int -> Vector.t
val set_row : t -> int -> Vector.t -> unit
val nbrows : t -> int
val nbcolumns : t -> int
val sort_rows : t -> unit
val merge_sort : t -> t -> t
val assign_variable : t -> int -> Vector.t -> t
val substitute_variable : t -> int -> Vector.t -> t
val assign_variables : t -> equation array -> t
val substitute_variables : t -> equation array -> t
val add_dims : t -> int -> t
val add_dims_multi : t -> Vector.dimsup array -> t
val del_dims_multi : t -> Vector.dimsup array -> t
val add_permute_dims : t -> int -> int array -> t
val permute_del_dims : t -> int -> int array -> t
val is_row_dummy_constraint : t -> int -> bool
val get_big_int : t -> int -> int -> Big_int.big_int
val set_big_int : t -> int -> int -> Big_int.big_int -> unit
val print : Format.formatter -> t -> unit
val print_constraints : (int -> string) -> Format.formatter -> t -> unit
val print_frames : (int -> string) -> Format.formatter -> t -> unit
val of_lconstraints : (string -> int) -> int -> string list -> t
val of_lframes : (string -> int) -> int -> string list -> t