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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 245, Sat Apr 17 18:47:12 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 1  Line 1 
1    (*
2     * Signatures for shortest paths problems
3     *
4     * -- Allen
5     *)
6    
7  signature SINGLE_SOURCE_SHORTEST_PATHS =  signature SINGLE_SOURCE_SHORTEST_PATHS =
8  sig  sig
9    
10       structure Num : ABELIAN_GROUP_WITH_INF
11    
12     val single_source_shortest_paths :     val single_source_shortest_paths :
13                   { weight : 'e Graph.edge -> 'w,                   { graph  : ('n,'e,'g') Graph.graph,
14                     <      : 'w * 'w -> bool,                     weight : 'e Graph.edge -> Num.elem,
15                     +      : 'w * 'w -> 'w,                     s      : Graph.node_id
                    zero   : 'w,  
                    inf    : 'w  
16                   } ->                   } ->
17                   ('n,'e,'g') Graph.graph ->                   { dist : Num.elem Array.array,
                  Graph.node_id ->  
                  { dist : 'w Array.array,  
18                     pred :  Graph.node_id Array.array                     pred :  Graph.node_id Array.array
19                   }                   }
20  end  end
21    
22  signature ALL_PAIRS_SHORTEST_PATHS =  signature ALL_PAIRS_SHORTEST_PATHS =
23  sig  sig
24       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  end  end

Legend:
Removed from v.245  
changed lines
  Added in v.411

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