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/gbddml/Bdd/index.html

Module Bdd

type t
val init_psz_verb : int -> bool -> unit
val init : ?pagesize:int -> ?verbose:bool -> unit -> unit
val root_var : t -> int
val high_part : t -> t
val low_part : t -> t
val is_leaf : t -> bool
val is_true : t -> bool
val is_false : t -> bool
val dtrue : unit -> t
val dfalse : unit -> t
val null : unit -> t
val idy : int -> t
val nidy : int -> t
val dnot : t -> t
val dor : t -> t -> t
val dand : t -> t -> t
val xor : t -> t -> t
val eq : t -> t -> t
val ite : t -> t -> t -> t
val size : t -> int
val supportsize : t -> int
val exist_local : t -> t -> t
val forall_local : t -> t -> t
val support_of_list : int list -> t
val exist : int list -> t -> t
val forall : int list -> t -> t
val print_mons : t -> unit
val topvar : t -> int
val dthen : t -> t
val delse : t -> t
val ithvar : int -> t
val is_cst : t -> bool
val support : t -> t
val list_of_support : t -> int list