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 /sml/trunk/src/MLRISC/graphs/max-flow.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/graphs/max-flow.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 409 - (download) (as text) (annotate)
Fri Sep 3 00:21:52 1999 UTC (19 years, 10 months ago) by monnier
File size: 900 byte(s)
Initial revision
(*
 * Signature of max flow computation
 *
 * -- Allen
 *)

signature MAX_FLOW =
sig
   structure Num : ABELIAN_GROUP
   val max_flow :          { graph    : ('n,'e,'g) Graph.graph,
                             s        : Graph.node_id,
                             t        : Graph.node_id,
                             capacity : 'e Graph.edge -> Num.elem,
                             flows    : 'e Graph.edge * Num.elem -> unit
                           } -> Num.elem

   val min_cost_max_flow : { graph    : ('n,'e,'g) Graph.graph,
                             s        : Graph.node_id,
                             t        : Graph.node_id,
                             capacity : 'e Graph.edge -> Num.elem,
                             cost     : 'e Graph.edge -> Num.elem,
                             flows    : 'e Graph.edge * Num.elem -> unit
                           } -> Num.elem
end

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