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 /sml/trunk/src/MLRISC/library/regset.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/library/regset.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 411 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/library/regset.sig

1 : monnier 411 (*
2 :     * Register set datatype
3 :     *
4 :     * -- Allen
5 :     *)
6 :    
7 : monnier 245 signature REGISTER_SET =
8 :     sig
9 :    
10 :     type regset
11 :     type reg = int
12 :    
13 :     val empty : regset
14 :     val fromList : reg list -> regset
15 :     val sort : reg list -> reg list
16 :     val fromSortedList : reg list -> regset
17 :     val insert : regset * reg -> regset
18 :     val remove : regset * reg -> regset
19 :     val insertChanged : regset * reg -> regset * bool
20 :     val removeChanged : regset * reg -> regset * bool
21 :     val == : regset * regset -> bool
22 :     val app : (reg -> unit) -> regset -> unit
23 :     val contains : regset * reg -> bool
24 :     val exists : regset * reg list -> bool
25 :     val isEmpty : regset -> bool
26 :     val toList : regset -> reg list
27 :     val toString : regset -> string
28 :     val union : regset list -> regset
29 :     val intersects : regset list -> regset
30 :     val + : regset * regset -> regset
31 :     val - : regset * regset -> regset
32 :     val * : regset * regset -> regset
33 :    
34 :     end
35 :    

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