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 245 - (download) (as text) (annotate)
Sat Apr 17 18:47:12 1999 UTC (20 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/library/priQueue.sig
File size: 720 byte(s)
version 110.16
signature PRIORITY_QUEUE =
sig

   type 'a priority_queue

   exception EmptyPriorityQueue

   val create    : ('a * 'a -> bool) -> '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
   val rerank    : 'a priority_queue -> unit

end

(*
 * $Log$
 *)

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