package ocamlgraph

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type data

information stored at each vertex

type edge = G.E.t

type of edges of the underlying graph

type vertex = G.V.t

type of vertices of the underlying graph

type g = G.t

type of the underlying graph

val direction : direction

the direction of the analysis

val join : data -> data -> data

operation how to join data when paths meet

val equal : data -> data -> bool

predicate to determine the fixpoint

val analyze : edge -> data -> data

the actual analysis of one edge; provided the edge and the incoming data, it needs to compute the outgoing data