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.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