Overview  Index  Help 
SMLDoc

DependencyGraph


structure DependencyGraph :> DEPENDENCY_GRAPH =
struct
  type 'a graph = ('a option * bool) Array.array Array.array
  val create : int -> 'a graph
  val dependsOn : 'a graph -> {src : int, dest : int, attr : 'a} -> unit
  val isDependsOn : 'a graph -> {src : int, dest : int} -> 'a option * bool
  val getClosure : 'a graph -> ('a -> bool) * int -> int list
  val getClosureRev : 'a graph -> ('a -> bool) * int -> int list
  val sort : 'a graph -> ('a -> bool) -> int list
end

the signature of the module which provides operations on the dependency graph.

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrDependencyGraph.html,v 1.9 2007/02/17 07:01:58 kiyoshiy Exp $

 
Type detail

graph

type 'a graph = ('a option * bool) Array.array Array.array

     
Value detail

create

val create : int -> 'a graph


dependsOn

val dependsOn : 'a graph -> {src : int, dest : int, attr : 'a} -> unit


isDependsOn

val isDependsOn : 'a graph -> {src : int, dest : int} -> 'a option * bool


getClosure

val getClosure : 'a graph -> ('a -> bool) * int -> int list


getClosureRev

val getClosureRev : 'a graph -> ('a -> bool) * int -> int list


sort

val sort : 'a graph -> ('a -> bool) -> int list

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML