Module RifSource

RIF (Reactive Input Format) utilities

Sourceval read : bool -> in_channel -> out_channel option -> Exp.var list -> Var.env_in

Reads the input values

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

write_outputs oc outputs writes the Lucky outputs

Sourceval 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

Sourceval flush : out_channel -> unit