Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /MLRISC/trunk/graphs/shortest-paths.sig
ViewVC logotype

Annotation of /MLRISC/trunk/graphs/shortest-paths.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 412 - (view) (download) (as text)
Original Path: sml/trunk/src/MLRISC/graphs/shortest-paths.sig

1 : monnier 411 (*
2 :     * Signatures for shortest paths problems
3 :     *
4 :     * -- Allen
5 :     *)
6 :    
7 : monnier 245 signature SINGLE_SOURCE_SHORTEST_PATHS =
8 :     sig
9 :    
10 : monnier 411 structure Num : ABELIAN_GROUP_WITH_INF
11 :    
12 : monnier 245 val single_source_shortest_paths :
13 : monnier 411 { graph : ('n,'e,'g') Graph.graph,
14 :     weight : 'e Graph.edge -> Num.elem,
15 :     s : Graph.node_id
16 : monnier 245 } ->
17 : monnier 411 { dist : Num.elem Array.array,
18 :     pred : Graph.node_id Array.array
19 : monnier 245 }
20 :     end
21 :    
22 :     signature ALL_PAIRS_SHORTEST_PATHS =
23 :     sig
24 : monnier 411 structure Num : ABELIAN_GROUP_WITH_INF
25 :     val all_pairs_shortest_paths :
26 :     { graph : ('n,'e,'g') Graph.graph,
27 :     weight : 'e Graph.edge -> Num.elem
28 :     } ->
29 :     { dist : Num.elem Array2.array,
30 :     pred : Graph.node_id Array2.array
31 :     }
32 : monnier 245 end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0