package rdbg

  1. Overview
  2. Docs

RIF (Reactive Input Format) utilities

val read_interface : ?debug:bool -> ?label:string -> Pervasives.in_channel -> Pervasives.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.

exception Bye
val read : ?debug:bool -> ?label:string -> ?pragma:string list -> Pervasives.in_channel -> Pervasives.out_channel option -> Data.vntl -> Data.subst list

Reads the input values. raises Bye if a line equal to "q" is read.

val write : Pervasives.out_channel -> string -> unit
val write_outputs : Pervasives.out_channel -> (float -> string) -> Data.vntl -> Data.subst list -> unit

write_outputs oc float_to_string outputs writes the outputs

val write_interface : Pervasives.out_channel -> Data.vntl -> Data.vntl -> Data.vntl option -> Data.vntl list option -> unit

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

val flush : Pervasives.out_channel -> unit
OCaml

Innovation. Community. Security.