SCM Repository
[smlnj] Diff of /sml/trunk/src/MLRISC/graphs/graph.sig
Diff of /sml/trunk/src/MLRISC/graphs/graph.sig
Parent Directory
|
Revision Log
|
Patch
48 |
edges : unit -> 'e edge list, |
edges : unit -> 'e edge list, |
49 |
order : unit -> int, (* # nodes *) |
order : unit -> int, (* # nodes *) |
50 |
size : unit -> int, (* # edges *) |
size : unit -> int, (* # edges *) |
51 |
capacity : unit -> int, |
capacity : unit -> int, (* max. node_id < capacity *) |
52 |
succ : node_id -> node_id list, |
succ : node_id -> node_id list, |
53 |
pred : node_id -> node_id list, |
pred : node_id -> node_id list, |
54 |
out_edges : node_id -> 'e edge list, |
out_edges : node_id -> 'e edge list, |
|
Legend:
Removed from v.1113 |
|
changed lines |
|
Added in v.1114 |
|
|