Module Inout

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