Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
RIF (Reactive Input Format) utilities
val read_interface :
?debug:bool ->
?label:string ->
Stdlib.in_channel ->
Stdlib.out_channel option ->
Data.vntl * Data.vntl
read_interface label ic oc_opt
reads the IO names and types on ic. The string read on ic should looks like : #inputs v1:t1 v2:t2 ... #outputs x1:tx1 ... #step
label
is a string used in debug mode to hint who is calling.
val read :
?debug:bool ->
?label:string ->
?pragma:string list ->
Stdlib.in_channel ->
Stdlib.out_channel option ->
Data.vntl ->
Data.subst list
Reads the input values. raises Bye if a line equal to "q" is read.
val write_outputs :
Stdlib.out_channel ->
(float -> string) ->
Data.vntl ->
Data.subst list ->
unit
write_outputs oc float_to_string outputs
writes the outputs