zelus 2.1 · OCaml Package

val typ_cstate : Obc.type_expression

val varpat : Ident.t -> Deftypes.typ -> Obc.pattern

val modname : string -> Lident.t

val i : Ident.t

val size : Obc.size -> Obc.exp

val incr_pos : Ident.t -> Obc.inst

val set_pos : Ident.t -> Obc.exp -> Obc.inst

val incr : Ident.t -> string -> Obc.exp -> Obc.inst

val cmax : Ident.t -> Obc.exp -> Obc.inst

val zmax : Ident.t -> Obc.exp -> Obc.inst

val cincr : Ident.t -> Obc.exp -> Obc.inst

val zincr : Ident.t -> Obc.exp -> Obc.inst

val major : Ident.t -> Obc.exp

val write_into_internal_state : 
  (Ident.t * Obc.primitive_access) ->
  Ident.t list ->
  Ident.t list ->
  (Obc.exp -> Obc.exp) ->
  Ident.t ->
  Obc.inst

val app : string -> Obc.exp list -> Obc.exp

val getc : Ident.t -> Obc.exp -> Obc.exp

val get_zin : Ident.t -> Obc.exp -> Obc.exp

val setc : Ident.t -> Obc.exp -> Obc.exp -> Obc.exp

val setd : Ident.t -> Obc.exp -> Obc.exp -> Obc.exp

val set_zout : Ident.t -> Obc.exp -> Obc.exp -> Obc.exp

val write_from_internal_state : 
  (Obc.exp -> Obc.exp -> Obc.exp) ->
  (Ident.t * Obc.primitive_access) ->
  Ident.t list ->
  Ident.t list ->
  Ident.t ->
  Obc.inst

val set_dvec_to_zero : Ident.t -> Ident.t -> Obc.exp -> Obc.inst

val build_index : 
  Obc.mentry list ->
  (Obc.exp list * Obc.exp Obc.path) Ident.Env.t
  * (Obc.exp list * Obc.exp Obc.path) Ident.Env.t
  * Ident.t option
  * Ident.t option

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

val size_of : (Obc.exp list * Obc.exp list) Ident.Env.t -> Obc.exp

val cinout : 
  (Obc.exp list * Obc.exp list) Ident.Env.t ->
  (Ident.Env.key -> Ident.t list -> Ident.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) Ident.Env.t ->
  Ident.t ->
  Ident.t ->
  Obc.inst

val cout : 
  (Obc.exp list * Obc.exp list) Ident.Env.t ->
  Ident.t ->
  Ident.t ->
  Obc.inst

val dout : 
  (Obc.exp list * Obc.exp list) Ident.Env.t ->
  Ident.t ->
  Ident.t ->
  Obc.inst

val zin : 
  (Obc.exp list * Obc.exp list) Ident.Env.t ->
  Ident.t ->
  Ident.t ->
  Obc.inst

val zout : 
  (Obc.exp list * Obc.exp list) Ident.Env.t ->
  Ident.t ->
  Ident.t ->
  Obc.inst

val set_zin_to_false : 
  (Obc.exp list * Obc.exp list) Ident.Env.t ->
  'a ->
  Obc.inst

val maxsize : 
  (Obc.exp -> Obc.inst) ->
  Obc.exp ->
  Obc.inst option ->
  Obc.inst option

val set_horizon : Ident.t -> Ident.t option -> Obc.inst

val set_major : Ident.t -> Ident.t option -> Obc.inst

val machine : 'a -> Obc.machine -> Ident.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