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.70.4-fix.tgz
sha256=8a72b7832cc7ce4e08d36c46611ec58278cf890fb70e62b4093003605d777704
md5=3b8375658938b3757ab2a14e5a54a51a

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