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. Y
    Yvan Roux

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de

doc/lutin/Luc2c/index.html

Module Luc2cSource

Sourcetype gen_mode =
  1. | Lustre
  2. | Scade
  3. | Alices
  4. | Luciole
  5. | Nop
Sourcetype step_mode =
  1. | Inside
  2. | Edges
  3. | Vertices
Sourcetype optionT = {
  1. mutable env : string list;
  2. mutable main_node : string;
  3. mutable boot : bool;
  4. mutable load_mem : bool;
  5. mutable pp : string option;
  6. mutable output : string option;
  7. mutable rif : string option;
  8. mutable calling_module_name : string;
  9. mutable gen_mode : gen_mode;
  10. mutable step_mode : step_mode;
  11. mutable seed : int option;
  12. mutable precision : int option;
  13. mutable use_sockets : bool;
  14. mutable sock_addr : string;
  15. mutable sock_port : int;
  16. mutable output_dir : string;
  17. mutable oracle_ec : string option;
}
Sourceval option : optionT
Sourceval main : Exp.var list -> Exp.var list -> Exp.var list -> unit