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

sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862

md5=83fb886e4b14ce286e7a6eb59248be4b

type index = int

module S : sig ... end

module E : sig ... end

type 'a graph = {

}

type error =

exception Error of error

val empty : 'a graph

val add : E.key -> 'a -> 'a graph -> 'a graph

val add_before : S.t -> S.t -> 'a graph -> 'a graph

val is_before : 'a graph -> E.key -> S.elt -> bool

val successors : E.key -> 'a graph -> S.t

val containt : E.key -> 'a graph -> 'a

val outputs : 'a graph -> 'a graph

val acyclic : 'a graph -> unit

Well formation of a graph

val transitive_reduction : 'a graph -> 'a graph

transitive reduction for an acyclic graph

val topological : 'a graph -> 'a list

val print : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a graph ->
  unit

Print