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.56-fix.tgz
sha256=e916f8e4b65104b6911cb36fce7f4d5167ff15095d8fef95df46c3cabc74fae5
md5=282c7b3d0fa57385a6b4395239bc8e13

doc/polka/Poly/index.html

Module Poly

type tbool =
  1. | Bottom
  2. | True
  3. | False
  4. | Top
and t
and equation = Matrix.equation = {
  1. var : int;
  2. expr : Vector.t;
}
val dummy : t
val empty : int -> t
val universe : int -> t
val of_constraints : Matrix.t -> t
val of_frames : Matrix.t -> t
val minimize : t -> unit
val canonicalize : t -> unit
val dim : t -> int
val nbequations : t -> int
val nblines : t -> int
val nbconstraints : t -> int
val nbframes : t -> int
val constraints : t -> Matrix.t option
val frames : t -> Matrix.t option
val is_minimal : t -> bool
val is_empty : t -> bool
val is_universe : t -> bool
val is_empty_lazy : t -> tbool
val is_universe_lazy : t -> tbool
val constraints_available : t -> bool
val frames_available : t -> bool
val poly_versus_constraint : t -> Vector.t -> tbool
val is_generator_included_in : Vector.t -> t -> bool
val is_included_in : t -> t -> bool
val is_equal : t -> t -> bool
val add_dims_and_embed : t -> int -> t
val add_dims_and_project : t -> int -> t
val del_dims : t -> int -> t
val add_dims_and_embed_multi : t -> Vector.dimsup array -> t
val add_dims_and_project_multi : t -> Vector.dimsup array -> t
val del_dims_multi : t -> Vector.dimsup array -> t
val add_permute_dims_and_embed : t -> int -> int array -> t
val add_permute_dims_and_project : t -> int -> int array -> t
val permute_del_dims : t -> int -> int array -> t
val inter_array : t array -> t
val inter : t -> t -> t
val add_constraints : t -> Matrix.t -> t
val add_constraint : t -> Vector.t -> t
val union_array : t array -> t
val union : t -> t -> t
val add_frames : t -> Matrix.t -> t
val add_frame : t -> Vector.t -> t
val inter_array_lazy : t array -> t
val inter_lazy : t -> t -> t
val add_constraints_lazy : t -> Matrix.t -> t
val add_constraint_lazy : t -> Vector.t -> t
val union_array_lazy : t array -> t
val union_lazy : t -> t -> t
val add_frames_lazy : t -> Matrix.t -> t
val add_frame_lazy : t -> Vector.t -> t
val inter_list : t list -> t
val union_list : t list -> t
val inter_list_lazy : t list -> t
val union_list_lazy : t list -> t
val assign_var : t -> int -> Vector.t -> t
val substitute_var : t -> int -> Vector.t -> t
val assign_vars : t -> equation array -> t
val substitute_vars : t -> equation array -> t
val widening : t -> t -> t
val limited_widening : t -> t -> Matrix.t -> t
val closure : t -> t
val closure_lazy : t -> t
val print_constraints : (int -> string) -> Format.formatter -> t -> unit
val print_frames : (int -> string) -> Format.formatter -> t -> unit
val print : (int -> string) -> Format.formatter -> t -> unit
val of_lconstraints : (string -> int) -> int -> string list -> t
val of_lframes : (string -> int) -> int -> string list -> t