| SMLDoc |
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
Type detail |
---|
type 'a graph = ('a option * bool) Array.array Array.array
Value detail |
---|
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
| SMLDoc: Documentation generator for SML |