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/ezdl/Ezdl/index.html

Module Ezdl

type t
type cfunc
val dlopen : string -> t
val dlsym : t -> string -> cfunc
val dlclose : t -> unit
type cptr
val cptr_of : 'a -> cptr
val f2f : cfunc -> float -> float
val ff2f : cfunc -> float -> float -> float
val i2i : cfunc -> int -> int
val ii2i : cfunc -> int -> int -> int
val iii2i : cfunc -> int -> int -> int -> int
type carg =
  1. | Int_carg of int
  2. | Double_carg of float
  3. | String_carg of string
  4. | Ptr_carg of cptr
val carg_to_string : carg -> string
type cargs = carg list
val cargs2i : cfunc -> cargs -> int
val cargs2f : cfunc -> cargs -> float
val cargs2s : cfunc -> cargs -> string