package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/zelus.zlcompilerlibs/Automata/index.html
Module Automata
val eblock : 'a -> 'a Zelus.blockval eq_present :
Zelus.eq list Zelus.block Zelus.present_handler list ->
Zelus.eq list ->
Zelus.eq listval extend_block : 'a list -> 'a list Zelus.block option -> 'a list Zelus.blockmodule TableOfTypes : sig ... endval constr : string -> Deftypes.typ list -> Deftypes.typ_desc Deftypes.locval intro_type :
Zelus.state_handler list ->
Deftypes.typ_desc Deftypes.loc * Zident.t list Zident.Env.tval state_value : Deftypes.typ -> Deftypes.tentryval state_parameter : bool -> Deftypes.typ -> Deftypes.tentryval env_of_parameters :
Zident.t list Zident.Env.t ->
Zelus.state_handler list ->
Zelus.state_exdesc Zelus.localized option ->
Deftypes.tentry Zident.Env.t * Zelus.eq listp = ..., ...p..., ...last p...
val block :
(Zelus.local list -> Zelus.local list) ->
('a -> 'b) ->
'a Zelus.block ->
'b Zelus.blockval present_handlers :
(Zelus.scondpat -> Zelus.scondpat) ->
('a -> 'b) ->
'a Zelus.present_handler list ->
'b Zelus.present_handler listval exp : Zident.S.t -> Zelus.exp -> Zelus.expval equation : Zident.S.t -> Zelus.eq -> Zelus.eqTranslating an equation. lnames defines names x that must be
val equation_list : Zident.S.t -> Zelus.eq list -> Zelus.eq listval block_eq_list :
Zident.S.t ->
Zelus.eq list Zelus.block ->
Zelus.eq list Zelus.blockval present_handler_exp_list :
Zident.S.t ->
Zelus.exp Zelus.present_handler list ->
Zelus.exp Zelus.present_handler listval present_handler_block_eq_list :
Zident.S.t ->
Zelus.eq list Zelus.block Zelus.present_handler list ->
Zelus.eq list Zelus.block Zelus.present_handler listval match_handler_exp_list :
Zident.S.t ->
Zelus.exp Zelus.match_handler list ->
Zelus.exp Zelus.match_handler listval match_handler_block_eq_list :
Zident.S.t ->
Zelus.eq list Zelus.block Zelus.match_handler list ->
Zelus.eq list Zelus.block Zelus.match_handler listval local : Zident.S.t -> Zelus.local -> Zelus.localval scondpat : Zident.S.t -> Zelus.scondpat -> Zelus.scondpatval automaton :
Zident.S.t ->
Zelus.is_weak ->
Zelus.state_handler list ->
Zelus.state_exp option ->
Zelus.eqan extended list containing eq_list and new equations
val implementation :
Zelus.implementation_desc Zelus.localized ->
Zelus.implementation_desc Zelus.localizedval implementation_list :
Zelus.implementation_desc Zelus.localized list ->
Zelus.implementation_desc Zelus.localized list