package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Inout/index.html

Module Inout

val typ_cstate : Obc.type_expression
val varpat : Zident.t -> Deftypes.typ -> Obc.pattern
val modname : string -> Lident.t
val i : Zident.t
val size : Obc.size -> Obc.exp
val incr_pos : Zident.t -> Obc.inst
val set_pos : Zident.t -> Obc.exp -> Obc.inst
val incr : Zident.t -> string -> Obc.exp -> Obc.inst
val cmax : Zident.t -> Obc.exp -> Obc.inst
val zmax : Zident.t -> Obc.exp -> Obc.inst
val cincr : Zident.t -> Obc.exp -> Obc.inst
val zincr : Zident.t -> Obc.exp -> Obc.inst
val major : Zident.t -> Obc.exp
val write_into_internal_state : (Zident.t * Obc.primitive_access) -> Zident.t list -> Zident.t list -> (Obc.exp -> Obc.exp) -> Zident.t -> Obc.inst
val app : string -> Obc.exp list -> Obc.exp
val getc : Zident.t -> Obc.exp -> Obc.exp
val get_zin : Zident.t -> Obc.exp -> Obc.exp
val setc : Zident.t -> Obc.exp -> Obc.exp -> Obc.exp
val setd : Zident.t -> Obc.exp -> Obc.exp -> Obc.exp
val set_zout : Zident.t -> Obc.exp -> Obc.exp -> Obc.exp
val write_from_internal_state : (Obc.exp -> Obc.exp -> Obc.exp) -> (Zident.t * Obc.primitive_access) -> Zident.t list -> Zident.t list -> Zident.t -> Obc.inst
val set_dvec_to_zero : Zident.t -> Zident.t -> Obc.exp -> Obc.inst
val build_index : Obc.mentry list -> (Obc.exp list * Obc.exp Obc.path) Zident.Env.t * (Obc.exp list * Obc.exp Obc.path) Zident.Env.t * Zident.t option * Zident.t option

Compute the index associated to a state variable x in the current block

val size_of : (Obc.exp list * Obc.exp list) Zident.Env.t -> Obc.exp
val cinout : (Obc.exp list * Obc.exp list) Zident.Env.t -> (Zident.Env.key -> Zident.t list -> Zident.t list -> 'a -> Obc.inst) -> 'a -> ('a -> Obc.inst) -> Obc.inst

Add a method to copy back and forth the internal representation *- of the continuous state vector to the external flat representation *- This function is generic: table contains the association table *- name, ([s1]...[sn], [e1]...[ek]).

val cin : (Obc.exp list * Obc.exp list) Zident.Env.t -> Zident.t -> Zident.t -> Obc.inst
val cout : (Obc.exp list * Obc.exp list) Zident.Env.t -> Zident.t -> Zident.t -> Obc.inst
val dout : (Obc.exp list * Obc.exp list) Zident.Env.t -> Zident.t -> Zident.t -> Obc.inst
val zin : (Obc.exp list * Obc.exp list) Zident.Env.t -> Zident.t -> Zident.t -> Obc.inst
val zout : (Obc.exp list * Obc.exp list) Zident.Env.t -> Zident.t -> Zident.t -> Obc.inst
val set_zin_to_false : (Obc.exp list * Obc.exp list) Zident.Env.t -> 'a -> Obc.inst
val maxsize : (Obc.exp -> Obc.inst) -> Obc.exp -> Obc.inst option -> Obc.inst option
val set_horizon : Zident.t -> Zident.t option -> Obc.inst
val set_major : Zident.t -> Zident.t option -> Obc.inst
val machine : 'a -> Obc.machine -> Zident.t -> Obc.machine

Translate a continuous-time machine

val implementation : Obc.implementation -> Obc.implementation

back and forth into the internal state

val implementation_list : Obc.implementation list -> Obc.implementation list