package forester

  1. Overview
  2. Docs
package forester
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Forester_core.Addr_graphSource

Sourcetype t
Sourceval create : ?size:int -> unit -> t
Sourceval add_vertex : t -> Base.addr -> unit
Sourceval add_edge : t -> Base.addr -> Base.addr -> unit
Sourceval safe_pred : t -> Base.addr -> Base.addr list
Sourceval safe_succ : t -> Base.addr -> Base.addr list
Sourceval mem_edge : t -> Base.addr -> Base.addr -> bool
Sourceval transitive_closure : ?reflexive:bool -> t -> t