package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

dune-project

Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz

sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862

md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Horizon/index.html

Module `Horizon`

val gather_horizons : 
  Deftypes.tentry Ident.Env.t ->
  Ident.Env.key list * Deftypes.tentry Ident.Env.t

val horizon : 
  Ident.t option ->
  Ident.t list ->
  Zelus.eq list ->
  Zelus.eq list * Ident.t option

val equation : Ident.t option -> Zelus.eq -> Zelus.eq * Ident.t option

val equation_list : 
  Ident.t option ->
  Zelus.eq list ->
  Zelus.eq list * Ident.t option

val equation_list_with_horizon : 
  Ident.t option ->
  Deftypes.tentry Ident.Env.t ->
  Zelus.eq list ->
  Deftypes.tentry Ident.Env.t * Zelus.eq list * Ident.t option

val block : 
  Ident.t option ->
  Zelus.eq list Zelus.block ->
  Zelus.eq list Zelus.block * Ident.t option

Translate a block

val expression : Zelus.exp -> Zelus.exp

val implementation : 
  Zelus.implementation_desc Zelus.localized ->
  Zelus.implementation_desc Zelus.localized

val implementation_list : 
  Zelus.implementation_desc Zelus.localized list ->
  Zelus.implementation_desc Zelus.localized list