Dependences (p.zelus.2.1.doc.zelus.zlcompilerlibs.Dependences)

type 'a collection =

| And of 'a collection list
| Before of 'a collection list
| Leaf of 'a

val read : Zelus.eq -> Ident.S.t * Ident.S.t

Read/writes of an equation.

val def : Zelus.eq -> Ident.S.t

val init : Zelus.eq -> bool

Initialization equations init x = e and reset init x = e... every ...]

val nodep : Zelus.eq -> bool

val index : Zelus.eq -> int

val unsafe : Zelus.eq -> bool

val fresh : int -> Zelus.eq collection -> Zelus.eq collection * int

val name_to_index : 
  (Graph.S.t Ident.Env.t
   * Graph.S.t Ident.Env.t
   * (int * Zelus.eq * Ident.S.t * Ident.S.t * Ident.S.t) list) ->
  Zelus.eq collection ->
  Graph.S.t Ident.Env.t
  * Graph.S.t Ident.Env.t
  * (int * Zelus.eq * Ident.S.t * Ident.S.t * Ident.S.t) list

val make_read_write : 
  Graph.S.t Ident.Env.t ->
  Graph.S.t Ident.Env.t ->
  (Graph.E.key * 'a * Ident.S.t * Ident.S.t * Ident.S.t) list ->
  'a Graph.graph

val make_unsafes : 
  'a ->
  'b ->
  'c Graph.graph ->
  Zelus.eq collection ->
  'c Graph.graph

val make : Zelus.eq collection -> Zelus.eq Graph.graph

val print : Format.formatter -> Zelus.eq Graph.graph -> unit