package lutin
Lutin: modeling stochastic reactive systems
Install
dune-project
Dependency
Authors
Maintainers
Sources
lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
doc/lutin/Luc2c/index.html
Module Luc2cSource
Source
type optionT = {mutable env : string list;mutable main_node : string;mutable boot : bool;mutable load_mem : bool;mutable pp : string option;mutable output : string option;mutable rif : string option;mutable calling_module_name : string;mutable gen_mode : gen_mode;mutable step_mode : step_mode;mutable seed : int option;mutable precision : int option;mutable use_sockets : bool;mutable sock_addr : string;mutable sock_port : int;mutable output_dir : string;mutable oracle_ec : string option;
}