package lutin

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

Install

Dune 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/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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct