package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Lutin: modeling stochastic reactive systems

Install

Dune Dependency

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

Authors

Maintainers

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 = {

var : int;
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