lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Rif
val read : bool -> in_channel -> out_channel option -> Exp.var list -> Var.env_in

Reads the input values

val write : out_channel -> string -> unit
val write_outputs : out_channel -> Exp.var list -> Value.OfIdent.t -> unit

write_outputs oc outputs writes the Lucky outputs

val write_interface : out_channel -> Exp.var list -> Exp.var list -> Exp.var list option -> Exp.var list list option -> unit

write_interface oc in_vars_ out_vars out_vars loc_vars oracle_vars writes the input and output var names and types

val flush : out_channel -> unit