package lutils

You can search for identifiers within the package.

in-package search v0.2.0

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)

Install

Dune Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@imag.fr

Sources

lutils.v1.54.1.tgz

md5=a4d0e3d40ae4b01609d568b588b6ea7d

sha512=d3c3b80286b1aa236ba922d9e18a133721fc80126c8b89520fb811dce9400e217aaa75b5d49e03988be7f6bf5f2e1a391d02ceeaa5ec0a0cd5ce218083a29514

doc/lutils/RifIO/index.html

Module `RifIO`Source

RIF (Reactive Input Format) utilities

Source

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

Sourceexception Bye

Sourceexception Reset

Source

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

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

Sourceval write : out_channel -> string -> unit

Source

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

write_outputs oc float_to_string outputs writes the outputs

Source

val write_interface : 
  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

Sourceval flush : out_channel -> unit

package lutils

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lutils/RifIO/index.html

Module RifIOSource

Module `RifIO`Source