package zelus

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.