package lutin
-
lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
RIF (Reactive Input Format) utilities
val read :
bool ->
in_channel ->
out_channel option ->
Exp.var list ->
Var.env_inReads the input values
val write : out_channel -> string -> unitval write_outputs : out_channel -> Exp.var list -> Value.OfIdent.t -> unitwrite_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 ->
unitwrite_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