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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (as text) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 1 month ago) by monnier
Original Path: sml/trunk/src/MLRISC/graphs/shortest-paths.sig
File size: 863 byte(s)
bring revisions from the vendor branch to the trunk
(*
 * Signatures for shortest paths problems
 *
 * -- Allen
 *)

signature SINGLE_SOURCE_SHORTEST_PATHS =
sig

   structure Num : ABELIAN_GROUP_WITH_INF

   val single_source_shortest_paths :
                 { graph  : ('n,'e,'g') Graph.graph,
                   weight : 'e Graph.edge -> Num.elem,
                   s      : Graph.node_id
                 } -> 
                 { dist : Num.elem Array.array,
                   pred : Graph.node_id Array.array
                 }
end

signature ALL_PAIRS_SHORTEST_PATHS =
sig
   structure Num : ABELIAN_GROUP_WITH_INF
   val all_pairs_shortest_paths :  
                 { graph  : ('n,'e,'g') Graph.graph,
                   weight : 'e Graph.edge -> Num.elem
                 } -> 
                 { dist : Num.elem Array2.array,
                   pred : Graph.node_id Array2.array
                 }
end

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