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

SCM Repository

[smlnj] Annotation of /MLRISC/releases/release-110.84/library/priQueue.sig
ViewVC logotype

Annotation of /MLRISC/releases/release-110.84/library/priQueue.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4728 - (view) (download) (as text)

1 : monnier 411 (*
2 :     * Signature of an imperative priority queue.
3 :     *
4 :     * -- Allen
5 :     *)
6 :    
7 : monnier 245 signature PRIORITY_QUEUE =
8 :     sig
9 :    
10 :     type 'a priority_queue
11 :    
12 :     exception EmptyPriorityQueue
13 :    
14 :     val create : ('a * 'a -> bool) -> 'a priority_queue
15 : monnier 498 val createN : ('a * 'a -> bool) * int * 'a -> 'a priority_queue
16 : monnier 245 val isEmpty : 'a priority_queue -> bool
17 :     val clear : 'a priority_queue -> unit
18 :     val min : 'a priority_queue -> 'a
19 :     val deleteMin : 'a priority_queue -> 'a
20 :     val merge : 'a priority_queue * 'a priority_queue -> 'a priority_queue
21 :     val mergeInto : { src : 'a priority_queue, dst : 'a priority_queue } -> unit
22 :     val insert : 'a priority_queue -> 'a -> unit
23 :     val fromList : ('a * 'a -> bool) -> 'a list -> 'a priority_queue
24 :     val toList : 'a priority_queue -> 'a list
25 :    
26 :     end
27 :    

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