zelus 2.2 · OCaml Package

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) ->
  'b ->
  ('c -> 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

package zelus