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/branches/SMLNJ/src/MLRISC/graphs/node-priqueue.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/MLRISC/graphs/node-priqueue.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 410 - (download) (as text) (annotate)
Fri Sep 3 00:25:03 1999 UTC (20 years, 1 month ago)
File size: 810 byte(s)
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.
(*
 * This implements a priority queue for nodes in a graph
 * 
 * -- Allen
 *)

signature NODE_PRIORITY_QUEUE =
sig

   type node_priority_queue

   exception EmptyPriorityQueue

   val create         : int -> (Graph.node_id * Graph.node_id -> bool) -> 
                           node_priority_queue 
   val fromGraph      : (Graph.node_id * Graph.node_id -> bool) -> 
                          ('n,'e,'g) Graph.graph -> node_priority_queue
   val isEmpty        : node_priority_queue -> bool
   val clear          : node_priority_queue -> unit
   val min            : node_priority_queue -> Graph.node_id 
   val deleteMin      : node_priority_queue -> Graph.node_id
   val decreaseWeight : node_priority_queue * Graph.node_id -> unit
   val insert         : node_priority_queue * Graph.node_id -> unit
end

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