package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

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

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Patternsig/C/index.html

Module Patternsig.C

module SSet : sig ... end
val uniq : SSet.elt list -> SSet.elt list
val is_complete : SSet.elt list -> bool
val not_in : SSet.elt list -> LANG.tag
val head_constrs : 'a Matching.pattern -> ('a * int) list
val matS : LANG.tag -> int -> LANG.tag Matching.pattern list list -> LANG.tag Matching.pattern list list
val matD : 'a Matching.pattern list list -> 'a Matching.pattern list list
val algU : SSet.elt Matching.pattern list list -> LANG.tag Matching.pattern list -> bool
and !'a trimat = 'a trivec list
val trimatS : LANG.tag -> int -> LANG.tag trivec list -> LANG.tag trivec list
val shift1 : 'a trivec -> 'a trivec
val shift2 : 'a trivec -> 'a trivec
val simple_union : 'a list option -> 'a list option -> 'a list option
val union : 'a -> 'a -> 'a list option -> 'a list option -> 'a list option
val algU' : SSet.elt trivec list -> SSet.elt trivec -> LANG.tag Matching.pattern list option
val algI : SSet.elt Matching.pattern list list -> int -> SSet.elt Matching.pattern list option
type result = Matching.PATTERN_CHECKER(LANG).result = {
  1. not_matched : LANG.pattern_ast option;
  2. redundant_patterns : LANG.pattern_ast list;
}
val check : LANG.pattern_ast list -> result