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/releases/release-110.84/library/priQueue.sig
ViewVC logotype

View of /MLRISC/releases/release-110.84/library/priQueue.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, 3 months ago) by monnier
Original Path: sml/trunk/src/MLRISC/library/priQueue.sig
File size: 798 byte(s)
bring revisions from the vendor branch to the trunk
(*
 * Signature of an imperative priority queue.
 *
 * -- Allen
 *)

signature PRIORITY_QUEUE =
sig

   type 'a priority_queue

   exception EmptyPriorityQueue

   val create    : ('a * 'a -> bool) -> 'a priority_queue 
   val createN   : ('a * 'a -> bool) * int * 'a -> 'a priority_queue 
   val isEmpty   : 'a priority_queue -> bool
   val clear     : 'a priority_queue -> unit
   val min       : 'a priority_queue -> 'a
   val deleteMin : 'a priority_queue -> 'a
   val merge     : 'a priority_queue * 'a priority_queue -> 'a priority_queue
   val mergeInto : { src : 'a priority_queue, dst : 'a priority_queue } -> unit
   val insert    : 'a priority_queue -> 'a -> unit
   val fromList  : ('a * 'a -> bool) -> 'a list -> 'a priority_queue
   val toList    : 'a priority_queue -> 'a list

end


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