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 245 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/library/regset.sig

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

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